projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f44197f) | patch
Disable LFSC for regression with learned rewrite (#8855)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 5 Jun 2022 00:09:53 +0000 (19:09 -0500)
committerGitHub <noreply@github.com>
Sun, 5 Jun 2022 00:09:53 +0000 (00:09 +0000)
commit2d15cd4ccad12e7f99ce15b2da6271c9ce68f586
treed0da39a884713637428a0b1ecae4251ad1b11e1dtree
parentf44197f3cce5a7005fa03dd64b812d4cf79d53bdcommit | diff
Disable LFSC for regression with learned rewrite (#8855)

Fixes buildbot issues.
test/regress/cli/regress1/nl/issue4791-llr.smt2 diff | blob | history