diff options
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 |