From 9e26baaaa717a5075984c63878e8bc1aa4e78b16 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Thu, 9 May 2019 09:33:22 -0500 Subject: Fixes for relational triggers (#2967) --- test/regress/CMakeLists.txt | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/regress/CMakeLists.txt') 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 -- cgit v1.2.3