mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

na

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-12-08 12:08:15 -08:00
parent 43ddb08332
commit 8ce08d57a0
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_lra.cpp
View file

@ -1603,7 +1603,7 @@ public:
get_infeasibility_explanation_and_set_conflict(); get_infeasibility_explanation_and_set_conflict();
return FC_CONTINUE; return FC_CONTINUE;
case l_undef: case l_undef:
TRACE("arith", tout << "check feasiable is undef\n";); TRACE("arith", tout << "check feasible is undef\n";);
return m.inc() ? FC_CONTINUE : FC_GIVEUP; return m.inc() ? FC_CONTINUE : FC_GIVEUP;
default: default:
UNREACHABLE(); UNREACHABLE();