diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-05-09 09:33:22 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-09 09:33:22 -0500 |
| commit | 9e26baaaa717a5075984c63878e8bc1aa4e78b16 (patch) | |
| tree | 91a0297c538928289b068e28550cbb98602c492f /test/regress/CMakeLists.txt | |
| parent | 1694c6b45dfa02ca22146755c89078bfa6b851ef (diff) | |
Fixes for relational triggers (#2967)
Diffstat (limited to 'test/regress/CMakeLists.txt')
| -rw-r--r-- | test/regress/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index b767d6c12..2f39bbb59 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -1384,6 +1384,7 @@ set(regress_1_tests regress1/quantifiers/ricart-agrawala6.smt2 regress1/quantifiers/set-choice-koikonomou.cvc regress1/quantifiers/set8.smt2 + regress1/quantifiers/seu169+1.smt2 regress1/quantifiers/small-pipeline-fixpoint-3.smt2 regress1/quantifiers/smtcomp-qbv-053118.smt2 regress1/quantifiers/smtlib384a03.smt2 @@ -1393,6 +1394,8 @@ set(regress_1_tests regress1/quantifiers/stream-x2014-09-18-unsat.smt2 regress1/quantifiers/sygus-infer-nested.smt2 regress1/quantifiers/symmetric_unsat_7.smt2 + regress1/quantifiers/var-eq-trigger.smt2 + regress1/quantifiers/var-eq-trigger-simple.smt2 regress1/quantifiers/z3.620661-no-fv-trigger.smt2 regress1/rels/addr_book_1.cvc regress1/rels/addr_book_1_1.cvc @@ -1756,6 +1759,7 @@ set(regress_2_tests regress2/quantifiers/mutualrec2.cvc regress2/quantifiers/net-policy-no-time.smt2 regress2/quantifiers/nunchaku2309663.nun.min.smt2 + regress2/quantifiers/specsharp-WindowsCard.15.RTE.Terminate_System.Int32.smt2 regress2/quantifiers/syn874-1.smt2 regress2/simplify.javafe.ast.ArrayInit.35_without_quantification2.smt2 regress2/strings/cmu-dis-0707-3.smt2 |