diff options
author | qadeer <unknown> | 2013-12-08 22:30:52 -0800 |
---|---|---|
committer | qadeer <unknown> | 2013-12-08 22:30:52 -0800 |
commit | 57f3b0868aa862a718b6703679f26d8ff148eb1f (patch) | |
tree | a5076a7dd633c63628a7d8da0dc0acd015262302 /Binaries/UnivBackPred2.smt2 | |
parent | d598ca752a1f163966f95bc19bf219bc5ae097f5 (diff) |
The back pred files have been eliminated. The small backpred string is now directly included in ProverInterface.cs.
Diffstat (limited to 'Binaries/UnivBackPred2.smt2')
-rw-r--r-- | Binaries/UnivBackPred2.smt2 | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2 deleted file mode 100644 index 9bb05bfb..00000000 --- a/Binaries/UnivBackPred2.smt2 +++ /dev/null @@ -1,8 +0,0 @@ -; Boogie universal background predicate
-; Copyright (c) 2004-2010, Microsoft Corp.
-(set-info :category "industrial")
-(declare-sort |T@U| 0)
-(declare-sort |T@T| 0)
-(declare-fun real_pow (Real Real) Real)
-(declare-fun UOrdering2 (|T@U| |T@U|) Bool)
-(declare-fun UOrdering3 (|T@T| |T@U| |T@U|) Bool)
|