diff options
| author |  MichalMoskal <unknown> | 2011-02-17 18:59:50 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-02-17 18:59:50 +0000 |
| commit | 6873de1e22575d6d227b26ead84621d0fe4cab04 (patch) | |
| tree | 263c8c66b98fe3cc72c96e70e6988cb1be88e5d7 /Binaries | |
| parent | d1467b27944cc71bdf1c2b6350ab7d60933fedb3 (diff) | |
Make it possible to run Z3 on pipe; use generic PROVER_LOG options
Diffstat (limited to 'Binaries')
| -rw-r--r-- | Binaries/UnivBackPred2.smt2 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Binaries/UnivBackPred2.smt2 b/Binaries/UnivBackPred2.smt2 index 33c82099..4490d2cb 100644 --- a/Binaries/UnivBackPred2.smt2 +++ b/Binaries/UnivBackPred2.smt2 @@ -1,4 +1,3 @@ -; -------------------------------------------------------------------------
; Boogie universal background predicate
; Copyright (c) 2004-2010, Microsoft Corp.
|