From ae5c1a5c3a9c6eb7d1af1a4ddbcb841cf7ce4c70 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Fri, 2 Feb 2018 17:20:44 -0600 Subject: Fix remaining synthesis solution regressions (#1557) --- test/regress/regress0/sygus/max.sy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regress/regress0/sygus/max.sy') diff --git a/test/regress/regress0/sygus/max.sy b/test/regress/regress0/sygus/max.sy index cbe2bccea..37ed848ef 100644 --- a/test/regress/regress0/sygus/max.sy +++ b/test/regress/regress0/sygus/max.sy @@ -1,5 +1,5 @@ ; EXPECT: unsat -; COMMAND-LINE: --cegqi-si=all --sygus-out=status --no-check-synth-sol +; COMMAND-LINE: --cegqi-si=all --sygus-out=status (set-logic LIA) (synth-fun max ((x Int) (y Int)) Int -- cgit v1.2.3