mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 06:03:23 +00:00
Code Activity

atomic

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-06-10 10:51:09 -07:00
parent bc54197fb3
commit b266af3e08
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/cmd_context/basic_cmds.cpp
View file

@ -214,7 +214,7 @@ static void print_core(cmd_context& ctx) {
ctx.regular_stream() << ")" << std::endl; ctx.regular_stream() << ")" << std::endl;
} }
TOMIC_CMD(get_unsat_core_cmd, "get-unsat-core", "retrieve unsat core", { ATOMIC_CMD(get_unsat_core_cmd, "get-unsat-core", "retrieve unsat core", {
if (!ctx.produce_unsat_cores()) if (!ctx.produce_unsat_cores())
throw cmd_exception("unsat core construction is not enabled, use command (set-option :produce-unsat-cores true)"); throw cmd_exception("unsat core construction is not enabled, use command (set-option :produce-unsat-cores true)");
if (!ctx.has_manager() || if (!ctx.has_manager() ||