diff options
Diffstat (limited to 'test/regress/regress1/sygus/stopwatch-bt.sy')
-rw-r--r-- | test/regress/regress1/sygus/stopwatch-bt.sy | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/test/regress/regress1/sygus/stopwatch-bt.sy b/test/regress/regress1/sygus/stopwatch-bt.sy index 291ae6099..c33e16bcd 100644 --- a/test/regress/regress1/sygus/stopwatch-bt.sy +++ b/test/regress/regress1/sygus/stopwatch-bt.sy @@ -1,5 +1,5 @@ ; EXPECT: unsat -; COMMAND-LINE: --sygus-inv-templ=post --sygus-out=status +; COMMAND-LINE: --lang=sygus2 --sygus-inv-templ=post --sygus-out=status (set-logic LIA) (define-fun @@ -116,14 +116,6 @@ )) -(declare-primed-var stopwatch.usr.toggle Bool) -(declare-primed-var stopwatch.usr.reset Bool) -(declare-primed-var stopwatch.usr.count Int) -(declare-primed-var stopwatch.res.init_flag Bool) -(declare-primed-var stopwatch.res.abs_0 Bool) -(declare-primed-var stopwatch.impl.usr.running Bool) -(declare-primed-var stopwatch.res.abs_1 Int) -(declare-primed-var stopwatch.res.inst_0 Bool) (define-fun init ( |