mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-09 20:50:50 +00:00
Code Activity

add missing status case for cancelation

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-08-30 09:43:10 -07:00
parent cd0af999a8
commit 8cb118235a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/lp/lp_settings_def.h
View file

@ -49,6 +49,7 @@ const char* lp_status_to_string(lp_status status) {
case lp_status::TIME_EXHAUSTED: return "TIME_EXHAUSTED"; case lp_status::TIME_EXHAUSTED: return "TIME_EXHAUSTED";
case lp_status::EMPTY: return "EMPTY"; case lp_status::EMPTY: return "EMPTY";
case lp_status::UNSTABLE: return "UNSTABLE"; case lp_status::UNSTABLE: return "UNSTABLE";
case lp_status::CANCELLED: return "CANCELLED";
default: default:
lp_unreachable(); lp_unreachable();
} }