diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-04 14:24:02 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-04 14:24:02 -0600 |
commit | 9ca190a3a2f7f952e1452efb69c78803ec302dd6 (patch) | |
tree | 6581bc7bbb2b40a82ac65abf88d7b0c8610ef14f /test/regress/regress0/sygus/sygus-uf.sy | |
parent | 9a2913c2f1a22ed43ed772467ec42ba2262bee17 (diff) |
Avoid non-well-founded sygus grammars (#3434)
Diffstat (limited to 'test/regress/regress0/sygus/sygus-uf.sy')
-rw-r--r-- | test/regress/regress0/sygus/sygus-uf.sy | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/regress/regress0/sygus/sygus-uf.sy b/test/regress/regress0/sygus/sygus-uf.sy index 95cd8771e..1b060637a 100644 --- a/test/regress/regress0/sygus/sygus-uf.sy +++ b/test/regress/regress0/sygus/sygus-uf.sy @@ -1,3 +1,5 @@ +; COMMAND-LINE: --sygus-out=status +; EXPECT: unsat (set-logic LIA) (declare-fun uf (Int) Int) |