mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 04:13:38 +00:00
Code Activity

#5746

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-01-02 11:35:55 -08:00
parent e84ddb0d9a
commit 0ca5e7207e
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/solver/check_sat_result.cpp
View file

@ -21,7 +21,8 @@ Notes:
void check_sat_result::set_reason_unknown(event_handler& eh) { void check_sat_result::set_reason_unknown(event_handler& eh) {
switch (eh.caller_id()) { switch (eh.caller_id()) {
case UNSET_EH_CALLER: case UNSET_EH_CALLER:
set_reason_unknown("unclassifed exception"); if (reason_unknown() == "")
set_reason_unknown("unclassifed exception");
break; break;
case CTRL_C_EH_CALLER: case CTRL_C_EH_CALLER:
set_reason_unknown("interrupted from keyboard"); set_reason_unknown("interrupted from keyboard");