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 841b18fce..71ea1badd 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -923,6 +923,7 @@ set(regress_0_tests regress0/sygus/no-syntax-test.sy regress0/sygus/parity-AIG-d0.sy regress0/sygus/parse-bv-let.sy + regress0/sygus/pLTL-sygus-syntax-err.sy regress0/sygus/real-si-all.sy regress0/sygus/sygus-no-wf.sy regress0/sygus/sygus-uf.sy |