Test update

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

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/forge/sigs.rkt b/forge/sigs.rkt
@@ -1012,7 +1012,7 @@
     (define sterling-or-instance (if (equal? (get-option run 'run_sterling) 'off)
                                      (format "Sterling disabled, so reporting raw instance data:~n~a" instance)
                                      "Running Sterling to show instance (or unsat) generated..."))
-    (raise-forge-error #:msg (format "Test ~a failed. ~a~n~n" name sterling-or-instance)
+    (raise-forge-error #:msg (format "~a ~a~n~n" msg sterling-or-instance)
                        #:context context
                        #:raise? #f)
     ; Display in Sterling (if run_sterling is enabled)

diff --git a/forge/tests/error/properties_undirected_tree_underconstraint_multiple_errors.frg b/forge/tests/error/properties_undirected_tree_underconstraint_multiple_errors.frg
@@ -31,6 +31,6 @@ pred TreeWithEdges
     some edges
  } 
 
- assert TreeWithEdges is necessary for isUndirectedTree
+assert TreeWithEdges is necessary for isUndirectedTree
 assert all n : Node | TreeWithEdges is necessary for isUndirectedTree