projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 15be4ec) | patch
Disable unsat cores on nec regression (#4330)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 19 Apr 2020 00:48:04 +0000 (19:48 -0500)
committerGitHub <noreply@github.com>
Sun, 19 Apr 2020 00:48:04 +0000 (19:48 -0500)
commitecf3e9c874095e836b5ea4d9bed6b063b2a5f108
treeccdec9965f660d5987962b61bb691a7deca4ebcatree
parent15be4ec678fc59760add75c675efd81c32b8573bcommit | diff
Disable unsat cores on nec regression (#4330)

Should fix the nightlies.
test/regress/regress2/arith/prp-13-24.smt2 diff | blob | history