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 | |
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')
0 files changed, 0 insertions, 0 deletions