mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-03 13:56:08 +00:00
Code Activity

reorganize top-level loop

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-01-23 20:47:16 -08:00
parent eed1db4376
commit e736a73d83
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/nla_stellensatz2.cpp
View file

@ -106,6 +106,7 @@ namespace nla {
case l_true: case l_true:
if (set_model()) if (set_model())
return l_true; return l_true;
r = l_undef;
break; break;
default: default:
break; break;