diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-23 13:36:53 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-23 13:36:53 -0500 |
| commit | 416f6d2d55fb24fea63bd13537b24a6a88509344 (patch) | |
| tree | 331e8d703214c77431c6c51c34b86dfeb0059566 /test/regress/regress2 | |
| parent | 52a7602c529108c6e56868c427ac691fe472ff7c (diff) | |
sygusComp2018: add regressions (#2191)
Diffstat (limited to 'test/regress/regress2')
| -rw-r--r-- | test/regress/regress2/sygus/process-10-vars-2fun.sy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress2/sygus/process-10-vars-2fun.sy b/test/regress/regress2/sygus/process-10-vars-2fun.sy index 00340030f..a107fd88b 100644 --- a/test/regress/regress2/sygus/process-10-vars-2fun.sy +++ b/test/regress/regress2/sygus/process-10-vars-2fun.sy @@ -1,4 +1,4 @@ -; COMMAND-LINE: --cegqi-si=none --sygus-out=status +; COMMAND-LINE: --cegqi-si=none --sygus-out=status --no-sygus-repair-const ; EXPECT: unsat (set-logic LIA) |