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/decision | |
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/decision')
-rw-r--r-- | test/regress/regress0/decision/quant-symmetric_unsat_7.smt2 | 4 |
1 files changed, 2 insertions, 2 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") |