mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-13 17:36:15 +00:00
Code Activity

more removals

Browse source
This commit is contained in:
Lev Nachmanson 2023-03-03 15:30:15 -08:00
parent 8db2f1409b
commit a44772424c
1 changed files with 0 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/test/lp/lp.cpp
View file

@ -1563,17 +1563,6 @@ void add_random_cost(lp_primal_simplex<double, double> * solver, int cols) {
} }
void random_test() {
for (unsigned i = 0; i < std::numeric_limits<unsigned>::max(); i++) {
try {
random_test_on_i(i);
}
catch (const char * error) {
std::cout << "i = " << i << ", throwing at ' " << error << "'" << std::endl;
break;
}
}
}
#ifndef _WINDOWS #ifndef _WINDOWS
void fill_file_names(vector<std::string> &file_names, std::set<std::string> & minimums) { void fill_file_names(vector<std::string> &file_names, std::set<std::string> & minimums) {