diff options
author | MichalMoskal <unknown> | 2011-02-18 22:04:56 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2011-02-18 22:04:56 +0000 |
commit | 192f8e8429c32ae6501c01c1f37033f4a893dd48 (patch) | |
tree | 363a08d6597ec1d9b6181d53a527d674236fa588 /Binaries | |
parent | 83bd938cd65b0d64ed72e45411c02563b0d3a3de (diff) |
Add tickleBool
Diffstat (limited to 'Binaries')
-rw-r--r-- | Binaries/UnivBackPred2.smt2 | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2 index ee553a98..06b307fe 100644 --- a/Binaries/UnivBackPred2.smt2 +++ b/Binaries/UnivBackPred2.smt2 @@ -8,4 +8,5 @@ (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)))
|