diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-06-17 17:49:15 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-17 17:49:15 -0700 |
commit | 204d645e97bbacd948b5777b704f7b418577610a (patch) | |
tree | 59d062e0982a70b9205f26786d55551a8d9b0391 /test | |
parent | b8d09076cfeb124bfaa6e1c3f0f37e3df1b1b516 (diff) |
Fix build without libpoly (#6759)
Commit f10087c3b347da6ef625a2ad92846551ad324d73 added new files that do
not compile without libpoly. This commit excludes those files when
building without libpoly. It also updates one of the regressions to
ignore a warning about approximate values in the model.
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/regress0/nl/issue3003.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/nl/issue3003.smt2 b/test/regress/regress0/nl/issue3003.smt2 index f28a1fd77..3247a941a 100644 --- a/test/regress/regress0/nl/issue3003.smt2 +++ b/test/regress/regress0/nl/issue3003.smt2 @@ -1,4 +1,4 @@ -; COMMAND-LINE: --nl-ext=none +; COMMAND-LINE: --nl-ext=none --no-check-models ; EXPECT: sat (set-logic QF_NRA) (set-info :status sat) |