use 2 threads in gurobi test

NeuralNetworkVerification · Sep 11, 2024 · 62a34f9 · 62a34f9
1 parent 35713df
commit 62a34f9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/regress/regress1/CMakeLists.txt b/regress/regress1/CMakeLists.txt
@@ -125,7 +125,7 @@ foreach(file ${sat_ipqs})
   marabou_add_input_query_test(1 ${basename} sat "--verbosity=0" "ipq")
   marabou_add_input_query_test(1 ${basename} sat "--num-workers=2+--initial-divides=2+--snc" "ipq")
   if (${ENABLE_GUROBI})
-    marabou_add_input_query_test(1 ${basename} sat "--milp" "ipq")
+    marabou_add_input_query_test(1 ${basename} sat "--num-workers=2+--milp" "ipq")
   endif()
 endforeach()
 
@@ -135,7 +135,7 @@ foreach(file ${unsat_ipqs})
   marabou_add_input_query_test(1 ${basename} unsat "--verbosity=0" "ipq")
   marabou_add_input_query_test(1 ${basename} unsat "--num-workers=2+--initial-divides=2+--snc" "ipq")
   if (${ENABLE_GUROBI})
-    marabou_add_input_query_test(1 ${basename} unsat "--milp" "ipq")
+    marabou_add_input_query_test(1 ${basename} unsat "--num-workers=2+--milp" "ipq")
   endif()
 endforeach()