diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-23 15:24:40 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-23 15:24:40 -0500 |
| commit | 7b2cf19e2e9039890d87cd8c6fde5419ca1a9e75 (patch) | |
| tree | 63ff79421af4b56eda1cea6cf1b934f39d365f40 /test/regress | |
| parent | 1ac6b81c5a997d91723ace7c8ac949139aa6ec35 (diff) | |
Fix timeout
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 b/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 index 62babf518..278b70c9d 100644 --- a/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 +++ b/test/regress/regress1/quantifiers/lia-witness-div-pp.smt2 @@ -1,3 +1,5 @@ +; COMMAND-LINE: --no-check-unsat-cores +; EXPECT: unsat (set-info :smt-lib-version 2.6) (set-logic NIA) (set-info :status unsat) |