diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2019-11-22 11:50:12 -0300 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-22 08:50:12 -0600 |
commit | 6080c313c0a78323934f81a47623f17ee48c17cc (patch) | |
tree | 6ca194333bbf7f1bb46582865eb20c29b8ef3555 | |
parent | 8592fa1e2226e2c8b301ad9ed8caa13fad4c5913 (diff) |
fixing stupid typo (#3488)
-rw-r--r-- | test/regress/regress1/sygus/rec-fun-while-infinite.sy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress1/sygus/rec-fun-while-infinite.sy b/test/regress/regress1/sygus/rec-fun-while-infinite.sy index 77ddb04bc..85f8268c5 100644 --- a/test/regress/regress1/sygus/rec-fun-while-infinite.sy +++ b/test/regress/regress1/sygus/rec-fun-while-infinite.sy @@ -1,4 +1,4 @@ -; EXPECT: unkown +; EXPECT: unknown ; COMMAND-LINE: --sygus-out=status --lang=sygus2 --sygus-rec-fun --no-e-matching --no-check-synth-sol (set-logic ALL) |