search

tweag / simple-smt

BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Failing test suite #11

Open gabrielhdt opened 1 year ago

gabrielhdt commented 1 year ago

This issue follows #10 and https://github.com/tweag/simple-smt/pull/10#issuecomment-1337067974.

The parsing tests for readSExpr fail.

Steps to reproduce

$ nix develop --command cabal test
[...]
assignments:                           FAIL
          tests/SimpleSMT/Tests/SExpr.hs:33:
[...]
z3 error:                              FAIL
          tests/SimpleSMT/Tests/SExpr.hs:33:
[...]

Environment On branch master

gabrielhdt commented 1 year ago

Following #12, the test suite does not fail anymore since the test has been commented out in https://github.com/tweag/simple-smt/blob/4140830548865b8d885914cec4bac3b8e18c4941/tests/SimpleSMT/Tests/SExpr.hs#L20