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

Update theory_lra.cpp

Browse source 
remove spurious output
This commit is contained in:
Nikolaj Bjorner 2023-01-22 16:27:48 -08:00 committed by GitHub
parent dbc299efbb
commit 83662701b6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/smt/theory_lra.cpp
View file

@ -1584,7 +1584,6 @@ public:
if (!get_value(n, valn)) if (!get_value(n, valn))
return FC_GIVEUP; return FC_GIVEUP;
verbose_stream() << valx << " " << valy << " " << valn << "\n";
// TBD - check that values align so return FC_DONE. // TBD - check that values align so return FC_DONE.
if (valn < 0 && valx > 0 && valy > 0) { if (valn < 0 && valx > 0 && valy > 0) {