diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-07-27 20:19:35 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2015-07-27 20:19:35 -0500 |
commit | 8f4a7df9bd9cb59826e9769802d1345877a392ef (patch) | |
tree | e0797f3a9a4160c6199ecfd5deb7727e562a5e91 /test/regress/regress0/sygus/no-flat-simp.sy | |
parent | 9f10a95e26e9e790a19a6f9e68a658ec2ab6d304 (diff) | |
parent | c0079b3110a81f2ff993b7f86782266380dd102e (diff) |
Merge branch 'master' of https://github.com/CVC4/CVC4
Diffstat (limited to 'test/regress/regress0/sygus/no-flat-simp.sy')
-rwxr-xr-x | test/regress/regress0/sygus/no-flat-simp.sy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/sygus/no-flat-simp.sy b/test/regress/regress0/sygus/no-flat-simp.sy index 81f90e2aa..cb284b180 100755 --- a/test/regress/regress0/sygus/no-flat-simp.sy +++ b/test/regress/regress0/sygus/no-flat-simp.sy @@ -1,5 +1,5 @@ ; EXPECT: unsat -; COMMAND-LINE: --cegqi-si +; COMMAND-LINE: --cegqi-si --no-dump-synth (set-logic LIA) |