diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-07-27 22:01:03 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-07-27 22:01:03 +0000 |
| commit | 485c03a323911142e460bd0a7c428759496dc631 (patch) | |
| tree | 8c512712734dd2862c89acd8681357d0a2e0dabe /test/regress/regress0 | |
| parent | 33fd76601b42599d9883889a03d59d0d85729661 (diff) | |
Minor cleanup after today's commits:
* change some uses of "std::cout" to "Message()"
* change some files to use Unix newlines instead of DOS newlines
* fix compiler warning
Diffstat (limited to 'test/regress/regress0')
| -rw-r--r-- | test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 | 4 | ||||
| -rw-r--r-- | test/regress/regress0/quantifiers/symmetric_unsat_7.smt2 | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 b/test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 index a4ce611fb..6acf4a3c6 100644 --- a/test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 +++ b/test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 @@ -1,6 +1,6 @@ (set-logic AUFLIRA) -(set-info :source | Example extracted from Peter Baumgartner's talk at CADE-21: Logical Engineering with Instance-Based Methods.
-
+(set-info :source | Example extracted from Peter Baumgartner's talk at CADE-21: Logical Engineering with Instance-Based Methods. + It was translated to SMT-LIB by Leonardo de Moura |) (set-info :smt-lib-version 2.0) (set-info :category "crafted") diff --git a/test/regress/regress0/quantifiers/symmetric_unsat_7.smt2 b/test/regress/regress0/quantifiers/symmetric_unsat_7.smt2 index a4ce611fb..6acf4a3c6 100644 --- a/test/regress/regress0/quantifiers/symmetric_unsat_7.smt2 +++ b/test/regress/regress0/quantifiers/symmetric_unsat_7.smt2 @@ -1,6 +1,6 @@ (set-logic AUFLIRA) -(set-info :source | Example extracted from Peter Baumgartner's talk at CADE-21: Logical Engineering with Instance-Based Methods.
-
+(set-info :source | Example extracted from Peter Baumgartner's talk at CADE-21: Logical Engineering with Instance-Based Methods. + It was translated to SMT-LIB by Leonardo de Moura |) (set-info :smt-lib-version 2.0) (set-info :category "crafted") |