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 /test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt | |
| parent | 6850c7d04a74e7cb2fb26db4b85af76edce3f616 (diff) | |
[SMT-COMP] No unconstrained simp for QF_LIA UC (#3039)
`--unconstrained-simp` is not compatible with unsat cores.
Diffstat (limited to 'test/regress/regress0/fmf/Arrow_Order-smtlib.778341.smt')
0 files changed, 0 insertions, 0 deletions