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/commutative.sy | |
| parent | 9f10a95e26e9e790a19a6f9e68a658ec2ab6d304 (diff) | |
| parent | c0079b3110a81f2ff993b7f86782266380dd102e (diff) | |
Merge branch 'master' of https://github.com/CVC4/CVC4
Diffstat (limited to 'test/regress/regress0/sygus/commutative.sy')
| -rw-r--r-- | test/regress/regress0/sygus/commutative.sy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/sygus/commutative.sy b/test/regress/regress0/sygus/commutative.sy index 15567b0a8..46dbd2981 100644 --- a/test/regress/regress0/sygus/commutative.sy +++ b/test/regress/regress0/sygus/commutative.sy @@ -1,5 +1,5 @@ ; EXPECT: unsat -; COMMAND-LINE: --cegqi +; COMMAND-LINE: --cegqi --no-dump-synth (set-logic LIA) |