projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84df847) | patch
print only labeled assertions as part of the unsat core
authorguykatzz <katz911@gmail.com>
Tue, 30 May 2017 16:25:54 +0000 (09:25 -0700)
committerguykatzz <katz911@gmail.com>
Tue, 30 May 2017 16:25:54 +0000 (09:25 -0700)
commit61623d7bfb05143e52013db3610b63d632e61d92
tree6adbf499b4c342f99d3f05e8bcc3b73dbd103d54tree
parent84df84769e6762562c599432ea681f9fa0c7e0ffcommit | 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
src/options/smt_options diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history