diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-10 17:40:56 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-07-10 17:41:03 -0500 |
| commit | 54d24c786d6a843cc72dfb5e377603349ea5e420 (patch) | |
| tree | 09c68ea567da6ab079cdaac8a23876121dc2fc8d /contrib/code-checker | |
| parent | c24193a66e81f08cca82cb834fbd21ef630e1bcb (diff) | |
Do not exit when value/model/unsat-core/proof is requested at wrong time, for bug 831.
Diffstat (limited to 'contrib/code-checker')
0 files changed, 0 insertions, 0 deletions