diff options
| author | guykatzz <katz911@gmail.com> | 2017-05-30 09:25:54 -0700 |
|---|---|---|
| committer | guykatzz <katz911@gmail.com> | 2017-05-30 09:25:54 -0700 |
| commit | 61623d7bfb05143e52013db3610b63d632e61d92 (patch) | |
| tree | 6adbf499b4c342f99d3f05e8bcc3b73dbd103d54 /test/regress/regress1/bug519.smt2 | |
| parent | 84df84769e6762562c599432ea681f9fa0c7e0ff (diff) | |
print only labeled assertions as part of the unsat core
added the option dump-unsat-cores-full for printing the entire core, as before
Diffstat (limited to 'test/regress/regress1/bug519.smt2')
0 files changed, 0 insertions, 0 deletions