diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2020-02-04 08:21:24 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-04 08:21:24 -0800 |
commit | 78c7a2c52f646229f4e657e316e5ffa12c082dc3 (patch) | |
tree | 8857a9020a6c13a98001c5cfd7f48605f2265e53 /src/theory/fp | |
parent | 4c471e6e99dcd60d07d8978222956dd0ddd151db (diff) |
--fp-exp: Better warning message. (#3709)
Diffstat (limited to 'src/theory/fp')
-rw-r--r-- | src/theory/fp/theory_fp.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/theory/fp/theory_fp.cpp b/src/theory/fp/theory_fp.cpp index 6a4dc542e..788545b3c 100644 --- a/src/theory/fp/theory_fp.cpp +++ b/src/theory/fp/theory_fp.cpp @@ -902,7 +902,8 @@ void TheoryFp::preRegisterTerm(TNode node) << sig_sz << " is not supported, only Float32 (8/24) or Float64 (11/53) types " "are supported in default mode. Try the experimental solver via " - "--fp-exp"; + "--fp-exp. Note: There are known issues with the experimental " + "solver, use at your own risk."; throw LogicException(ss.str()); } } |