packages feed

what4 1.2 → 1.2.1

raw patch · 33 files changed

+75/−2 lines, 33 files

Files

CHANGES.md view
@@ -1,3 +1,7 @@+# 1.2.1 (June 2021)++* Include test suite data in the Hackage tarball.+ # 1.2 (June 2021)  This is primarily a bugfix release, but also adds support
+ test/responses/err-behav-continue.exp view
@@ -0,0 +1,1 @@+Right (RspErrBehavior "continued-execution")
+ test/responses/err-behav-continue.rsp view
@@ -0,0 +1,1 @@+(:error-behavior continued-execution)
+ test/responses/err-behav-unrec.exp view
@@ -0,0 +1,12 @@+Left Could not parse solver response:+  Solver response parsing failure.+*** Exception: Unrecognized response from solver:+  bad :error-behavior value+in response to command:+  (get-info :error-behavior)++Attempting to parse input for test resp:+Just "(:error-behavior freak-out)\n"++in response to commands for test resp:+test cmd
+ test/responses/err-behav-unrec.rsp view
@@ -0,0 +1,1 @@+(:error-behavior freak-out)
+ test/responses/error_bad.exp view
@@ -0,0 +1,4 @@+Left Solver reported an error:+  this is bad+in response to command:+  test cmd
+ test/responses/error_bad.rsp view
@@ -0,0 +1,1 @@+(error "this is bad")
+ test/responses/minisat_verbose_success.exp view
@@ -0,0 +1,1 @@+Right AckSuccess
+ test/responses/minisat_verbose_success.rsp view
@@ -0,0 +1,2 @@+minisat: Incremental solving is forced on (to avoid variable elimination) unless using internal decision strategy.+success
+ test/responses/minisat_verbose_success.strict.exp view
@@ -0,0 +1,8 @@+Left Could not parse solver response:+  Solver response parsing failure.+*** Exception: Parse exception: Failed reading: empty+Attempting to parse input for test resp:+Just "minisat: Incremental solving is forced on (to avoid variable elimination) unless using internal decision strategy.\nsuccess\n"++in response to commands for test resp:+test cmd
+ test/responses/name.exp view
@@ -0,0 +1,1 @@+Right (RspName "fancy solver #12")
+ test/responses/name.rsp view
@@ -0,0 +1,1 @@+(:name "fancy solver #12")
+ test/responses/rsnunk-bad.exp view
@@ -0,0 +1,12 @@+Left Could not parse solver response:+  Solver response parsing failure.+*** Exception: Unrecognized response from solver:+  bad :reason-unknown value+in response to command:+  reason?++Attempting to parse input for test resp:+Just "(:reason-unknown foo bar baz)\n"++in response to commands for test resp:+test cmd
+ test/responses/rsnunk-bad.rsp view
@@ -0,0 +1,1 @@+(:reason-unknown foo bar baz)
+ test/responses/rsnunk-incomplete.exp view
@@ -0,0 +1,1 @@+Right RspRsnIncomplete
+ test/responses/rsnunk-incomplete.rsp view
@@ -0,0 +1,1 @@+(:reason-unknown incomplete)
+ test/responses/rsnunk-memout.exp view
@@ -0,0 +1,1 @@+Right RspOutOfMemory
+ test/responses/rsnunk-memout.rsp view
@@ -0,0 +1,1 @@+(:reason-unknown memout)
+ test/responses/rsnunk-sexp.exp view
@@ -0,0 +1,1 @@+Right (RspUnkReason (SApp [SAtom "foo",SAtom "bar",SAtom "baz"]))
+ test/responses/rsnunk-sexp.rsp view
@@ -0,0 +1,1 @@+(:reason-unknown (foo bar baz))
+ test/responses/sat.exp view
@@ -0,0 +1,1 @@+Right AckSat
+ test/responses/sat.rsp view
@@ -0,0 +1,1 @@+sat
+ test/responses/success.exp view
@@ -0,0 +1,1 @@+Right AckSuccess
+ test/responses/success.rsp view
@@ -0,0 +1,1 @@+success
+ test/responses/unknown.exp view
@@ -0,0 +1,1 @@+Right AckUnknown
+ test/responses/unknown.rsp view
@@ -0,0 +1,1 @@+unknown
+ test/responses/unsat.exp view
@@ -0,0 +1,1 @@+Right AckUnsat
+ test/responses/unsat.rsp view
@@ -0,0 +1,1 @@+unsat
+ test/responses/unsupported.exp view
@@ -0,0 +1,2 @@+Left unsupported command:+  test cmd
+ test/responses/unsupported.rsp view
@@ -0,0 +1,1 @@+unsupported
+ test/responses/version.exp view
@@ -0,0 +1,1 @@+Right (RspVersion "1.8")
+ test/responses/version.rsp view
@@ -0,0 +1,1 @@+(:version "1.8")
what4.cabal view
@@ -1,6 +1,6 @@-Cabal-version: 2.2+Cabal-version: 2.4 Name:          what4-Version:       1.2+Version:       1.2.1 Author:        Galois Inc. Maintainer:    jhendrix@galois.com, rdockins@galois.com Copyright:     (c) Galois, Inc 2014-2021@@ -22,6 +22,10 @@   to ensure type-correct manipulation of symbolic values.  data-files: solverBounds.config++Extra-source-files:+  test/responses/*.exp+  test/responses/*.rsp  Extra-doc-files:   README.md