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 | |
parent | c24193a66e81f08cca82cb834fbd21ef630e1bcb (diff) |
Do not exit when value/model/unsat-core/proof is requested at wrong time, for bug 831.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions