mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
parent
743573aac5
commit
ae2f0ca85b
|
@ -231,6 +231,9 @@ public:
|
|||
mc = concat(fmc.get(), mc.get());
|
||||
in->add(mc.get());
|
||||
}
|
||||
if (m_ctx->canceled() && !pr) {
|
||||
throw tactic_exception(Z3_CANCELED_MSG);
|
||||
}
|
||||
return;
|
||||
}
|
||||
case l_false: {
|
||||
|
|
Loading…
Reference in a new issue