diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-11-19 17:29:44 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-19 17:29:44 -0600 |
commit | d7f5a6f2fa4b82b729e8ea76ef580c2bdb804e4e (patch) | |
tree | 39f8c9b8fca6b5c6d4dd74fd46b5820e41e159c5 /test/regress/CMakeLists.txt | |
parent | c163ebf20b2728515479e1f43d2beaa4ecf46944 (diff) |
Fix E-matching for case where candidate generator is not properly initialized (#2708)
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 c4dbab1dd..a8eced69e 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1359,6 +1359,7 @@ set(regress_1_tests regress1/quantifiers/quant-wf-int-ind.smt2 regress1/quantifiers/quaternion_ds1_symm_0428.fof.smt2 regress1/quantifiers/recfact.cvc + regress1/quantifiers/rel-trigger-unusable.smt2 regress1/quantifiers/repair-const-nterm.smt2 regress1/quantifiers/rew-to-0211-dd.smt2 regress1/quantifiers/ricart-agrawala6.smt2 |