From ece17ee2c38fa5769ae3ab7fa3607c0e88c0021f Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Wed, 8 Aug 2018 17:09:18 -0500 Subject: Disable argument relevance for sygus by default (#2288) --- test/regress/regress2/sygus/process-10-vars-2fun.sy | 2 +- test/regress/regress2/sygus/process-arg-invariance.sy | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'test/regress/regress2') diff --git a/test/regress/regress2/sygus/process-10-vars-2fun.sy b/test/regress/regress2/sygus/process-10-vars-2fun.sy index a107fd88b..214da82c8 100644 --- a/test/regress/regress2/sygus/process-10-vars-2fun.sy +++ b/test/regress/regress2/sygus/process-10-vars-2fun.sy @@ -1,4 +1,4 @@ -; COMMAND-LINE: --cegqi-si=none --sygus-out=status --no-sygus-repair-const +; COMMAND-LINE: --cegqi-si=none --sygus-out=status --no-sygus-repair-const --sygus-arg-relevant ; EXPECT: unsat (set-logic LIA) diff --git a/test/regress/regress2/sygus/process-arg-invariance.sy b/test/regress/regress2/sygus/process-arg-invariance.sy index 3c18b6c75..2f1b74ddf 100644 --- a/test/regress/regress2/sygus/process-arg-invariance.sy +++ b/test/regress/regress2/sygus/process-arg-invariance.sy @@ -1,4 +1,4 @@ -; COMMAND-LINE: --cegqi-si=none --sygus-out=status --no-sygus-add-const-grammar +; COMMAND-LINE: --cegqi-si=none --sygus-out=status --no-sygus-add-const-grammar --sygus-arg-relevant ; EXPECT: unsat (set-logic LIA) -- cgit v1.2.3