mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
more #5746
This commit is contained in:
parent
88707f37e7
commit
e84ddb0d9a
|
@ -607,10 +607,7 @@ extern "C" {
|
|||
return Z3_L_UNDEF;
|
||||
}
|
||||
catch (...) {
|
||||
if (eh.caller_id() == event_handler_caller_t::UNSET_EH_CALLER)
|
||||
to_solver_ref(s)->set_reason_unknown("unclassified exception");
|
||||
else
|
||||
to_solver_ref(s)->set_reason_unknown(eh);
|
||||
to_solver_ref(s)->set_reason_unknown(eh);
|
||||
to_solver(s)->set_eh(nullptr);
|
||||
return Z3_L_UNDEF;
|
||||
}
|
||||
|
|
|
@ -20,7 +20,9 @@ Notes:
|
|||
|
||||
void check_sat_result::set_reason_unknown(event_handler& eh) {
|
||||
switch (eh.caller_id()) {
|
||||
case UNSET_EH_CALLER: break;
|
||||
case UNSET_EH_CALLER:
|
||||
set_reason_unknown("unclassifed exception");
|
||||
break;
|
||||
case CTRL_C_EH_CALLER:
|
||||
set_reason_unknown("interrupted from keyboard");
|
||||
break;
|
||||
|
|
Loading…
Reference in a new issue