diff options
Diffstat (limited to 'test/regress/regress1/sygus/strings-concat-3-args.sy')
| -rw-r--r-- | test/regress/regress1/sygus/strings-concat-3-args.sy | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/test/regress/regress1/sygus/strings-concat-3-args.sy b/test/regress/regress1/sygus/strings-concat-3-args.sy index 6628ff746..681d3ccff 100644 --- a/test/regress/regress1/sygus/strings-concat-3-args.sy +++ b/test/regress/regress1/sygus/strings-concat-3-args.sy @@ -1,10 +1,10 @@ ; EXPECT: unsat -; COMMAND-LINE: --sygus-out=status +; COMMAND-LINE: --lang=sygus2 --sygus-out=status (set-logic SLIA) (synth-fun f ((x String)) String -((Start String (ntString)) +((ntString String) (ntStringConst String)) -(ntString String (x "" (str.++ ntStringConst ntString ntString))) +((ntString String (x "" (str.++ ntStringConst ntString ntString))) (ntStringConst String ("a" "b" " ")) @@ -15,4 +15,3 @@ (constraint (= (f "def") "ab def")) (check-synth) - |