Remove problematic rtest

NeuralNetworkVerification · Dec 5, 2023 · f3c7a73 · f3c7a73
1 parent b58985d
commit f3c7a73
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4,266 deletions.
diff --git a/regress/regress1/CMakeLists.txt b/regress/regress1/CMakeLists.txt
@@ -164,5 +164,4 @@ marabou_add_input_query_test(1 ACASXU_maxtest2.ipq unsat "--prove-unsat" "ipq")
 # Sign
 marabou_add_input_query_test(1 deep_6_index_5566.ipq unsat "--prove-unsat" "ipq")
 marabou_add_input_query_test(1 deep_6_index_5567.ipq unsat "--prove-unsat" "ipq")
-marabou_add_input_query_test(1 deep_6_index_5525.ipq unsat "--prove-unsat" "ipq")
-marabou_add_input_query_test(1 deep_6_index_7779.ipq unsat "--prove-unsat" "ipq")
+marabou_add_input_query_test(1 deep_6_index_7779.ipq unsat "--prove-unsat" "ipq")