Adding multiple failure test

tnelson · Feb 20, 2024 · a12ab81 · a12ab81
1 parent 2324621
commit a12ab81
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/forge/tests/error/main.rkt b/forge/tests/error/main.rkt
@@ -100,7 +100,8 @@
     (list "failed_sat.frg" #rx"Failed test")
     (list "failed_unsat.frg" #rx"Failed test")
     (list "failed_sat.frg" #rx"Failed test") 
-    (list "properties_undirected_tree_underconstraint_error.frg" #rx"Assertion_TreeWithEdges_is_necessary_for_isUndirectedTree failed.")
+    ;;; ? after * makes the match lazy, meaning it will match as few characters as possible while still allowing the remainder of the regular expression to match.
+    (list "properties_undirected_tree_underconstraint_multiple_errors.frg" #rx"Assertion_TreeWithEdges_is_necessary_for_isUndirectedTree failed.\\n.*?Assertion_All_TreeWithEdges_is_necessary_for_isUndirectedTree failed.")
     (list "properties_undirected_tree_overconstraint_error.frg" #rx"Assertion_isUndirected_is_sufficient_for_isUndirectedTree failed.")
     (list "properties_directed_tree_sufficiency_error.frg" #rx"Assertion_All_arethesame_is_sufficient_for_bothRoots failed.")
     (list "properties_directed_tree_necessity_error.frg" #rx"Assertion_All_isRoot_is_necessary_for_isNotRoot failed.")

diff --git a/...undirected_tree_underconstraint_error.frg → ..._tree_underconstraint_multiple_errors.frg b/...undirected_tree_underconstraint_error.frg → ..._tree_underconstraint_multiple_errors.frg