mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-12-06 03:52:24 +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
parent cc3328be8d
commit 98a3d2af15
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";