diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-16 18:02:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-16 18:02:28 -0500 |
| commit | 0688b1fd9519ec90e9e9a825f7211faa6f13b11d (patch) | |
| tree | 9b5d87c48bc8955a22076a01006e8cad1cd4784e /test/regress/regress1/ho | |
| parent | 54abd196cb43422c77a74cb139f3aaebaa695639 (diff) | |
Fix spurious meta-info in regression (#3294)
Diffstat (limited to 'test/regress/regress1/ho')
| -rw-r--r-- | test/regress/regress1/ho/issue3136-fconst-bool-bool.smt2 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress1/ho/issue3136-fconst-bool-bool.smt2 b/test/regress/regress1/ho/issue3136-fconst-bool-bool.smt2 index bc3481c59..d536e51a1 100644 --- a/test/regress/regress1/ho/issue3136-fconst-bool-bool.smt2 +++ b/test/regress/regress1/ho/issue3136-fconst-bool-bool.smt2 @@ -285,5 +285,4 @@ (assert (instance_THFTYPE_IIiiIioI lWhenFn_THFTYPE_IiiI lTemporalRelation_THFTYPE_i)) (assert (instance_THFTYPE_IIiioIioI rangeSubclass_THFTYPE_IiioI lBinaryPredicate_THFTYPE_i)) (assert (not (exists ((X $$unsorted) (Y $$unsorted)) (holdsDuring_THFTYPE_IiooI (lYearFn_THFTYPE_IiiI Y) (likes_THFTYPE_IiioI lSue_THFTYPE_i X)) ))) -(meta-info :filename "CSR148^2") (check-sat-assuming ( (not false) )) |