liquid-fixpoint might pass tests now with new z3
commit761cc7b6b49dfd50a1afb23ab9870601e363ac9e
authorDan Burton <danburton.email@gmail.com>
dateThu 27 Aug 2020, 23:43 (6 years ago)
parentaa35af1
build-constraints.yaml−1
@@ -5638,7 +5638,6 @@ expected-test-failures:
56385638 - haskeline # https://github.com/commercialhaskell/stackage/issues/5439
56395639 - character-cases # https://github.com/aiya000/hs-character-cases/issues/3
56405640 - lz4-frame-conduit # https://github.com/nh2/lz4-frame-conduit/issues/3
5641− - liquid-fixpoint # TODO: DanBurton
56425641
56435642 # Compilation failures
56445643 - ListLike # No issue tracker, e-mail sent to maintainer