fix: add reporting of missing expected output files .

leanprover · Sep 1, 2022 · cbf73c9 · cbf73c9
1 parent 93447fd
commit cbf73c9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/lakefile.lean b/lakefile.lean
@@ -78,6 +78,10 @@ def execute (capture : Bool) : IO UInt32 := do
             else
               IO.println s!"  FAILED: diff {expected} {actual}"
               retVal := retVal + 1
+        else
+          IO.println s!"  FAILED: expected output file is missing: {expected}"
+          retVal := retVal + 1
+
   if retVal > 0 then
     IO.println s!"FAILED: {retVal} tests failed!"
   return retVal