diff options
Diffstat (limited to 'test')
-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") |