diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-06-03 16:15:54 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-03 16:15:54 -0700 |
commit | 23baea2452d765bb76bd576b4cd01dd67215d095 (patch) | |
tree | 2109017af92838ad5ea97e15897f219abdf59e44 /proofs/signatures | |
parent | 6850c7d04a74e7cb2fb26db4b85af76edce3f616 (diff) |
[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039)
`--unconstrained-simp` is not compatible with unsat cores.
Diffstat (limited to 'proofs/signatures')
0 files changed, 0 insertions, 0 deletions