diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-11 21:24:43 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-11 21:24:43 -0600 |
| commit | a9cfdf6710e6a1bc4dd49bf09263fd8bce1af6b5 (patch) | |
| tree | 3f2bef344eea37a871f31599df7170b89373d2f6 /test/regress/CMakeLists.txt | |
| parent | d803e7fcf60f9bb847853fe6ccf7589b94b76922 (diff) | |
Fix CEGIS refinement for recursive functions evaluation (#3555)
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 814eaab49..7f07224e0 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1750,6 +1750,7 @@ set(regress_1_tests regress1/sygus/nflat-fwd-3.sy regress1/sygus/nflat-fwd.sy regress1/sygus/nia-max-square-ns.sy + regress1/sygus/node-discrete.sy regress1/sygus/no-flat-simp.sy regress1/sygus/no-mention.sy regress1/sygus/once_2.sy |