From 9ca190a3a2f7f952e1452efb69c78803ec302dd6 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 4 Nov 2019 14:24:02 -0600
Subject: Avoid non-well-founded sygus grammars (#3434)

---
 test/regress/regress0/sygus/sygus-uf.sy | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/regress/regress0/sygus/sygus-uf.sy')

diff --git a/test/regress/regress0/sygus/sygus-uf.sy b/test/regress/regress0/sygus/sygus-uf.sy
index 95cd8771e..1b060637a 100644
--- a/test/regress/regress0/sygus/sygus-uf.sy
+++ b/test/regress/regress0/sygus/sygus-uf.sy
@@ -1,3 +1,5 @@
+; COMMAND-LINE: --sygus-out=status
+; EXPECT: unsat
 (set-logic LIA)
 
 (declare-fun uf (Int) Int)
-- 
cgit v1.2.3