projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6850c7d) | patch
[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 3 Jun 2019 23:15:54 +0000 (16:15 -0700)
committerGitHub <noreply@github.com>
Mon, 3 Jun 2019 23:15:54 +0000 (16:15 -0700)
commit23baea2452d765bb76bd576b4cd01dd67215d095
tree2109017af92838ad5ea97e15897f219abdf59e44tree
parent6850c7d04a74e7cb2fb26db4b85af76edce3f616commit | diff
[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039)

`--unconstrained-simp` is not compatible with unsat cores.
contrib/run-script-smtcomp2019-unsat-cores diff | blob | history