From 85a65323bda16d372a9e163dc4225e5d5535d14c Mon Sep 17 00:00:00 2001 From: Peter Collingbourne Date: Thu, 6 Sep 2012 20:33:21 +0100 Subject: Implement support for alternative SMT solvers -- CVC3 and CVC4 --- Binaries/UnivBackPred2.smt2 | 2 -- 1 file changed, 2 deletions(-) (limited to 'Binaries') diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2 index 97c052c9..d3e3777f 100644 --- a/Binaries/UnivBackPred2.smt2 +++ b/Binaries/UnivBackPred2.smt2 @@ -7,5 +7,3 @@ (declare-fun int_mod (Int Int) Int) (declare-fun UOrdering2 (|T@U| |T@U|) Bool) (declare-fun UOrdering3 (|T@T| |T@U| |T@U|) Bool) -(declare-fun tickleBool (Bool) Bool) -(assert (and (tickleBool true) (tickleBool false))) -- cgit v1.2.3