From a44772424c75a2b5b9219cbdb6799c46602df9f4 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 3 Mar 2023 15:30:15 -0800
Subject: [PATCH] more removals

---
 src/test/lp/lp.cpp | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
index 5193c6167..9e0425194 100644
--- a/src/test/lp/lp.cpp
+++ b/src/test/lp/lp.cpp
@@ -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
 void fill_file_names(vector<std::string> &file_names,  std::set<std::string> & minimums) {