mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-09 18:40:59 +00:00
Code Activity

remove the exit statement

Browse source
This commit is contained in:
Lev Nachmanson 2025-11-24 07:51:11 -10:00 • committed by Nikolaj Bjorner
parent b582b2f32e
commit 7d48a7318e
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/test/nlsat.cpp
View file

@ -964,7 +964,6 @@ x7 := 1
} }
void tst_nlsat() { void tst_nlsat() {
std::cout << "tst_mv\n"; exit(1);
std::cout << "------------------\n"; std::cout << "------------------\n";
tst11(); tst11();
std::cout << "------------------\n"; std::cout << "------------------\n";