From cbf73c9ab11a50e82b2194474532a6f3f2d2a9de Mon Sep 17 00:00:00 2001
From: Chris Lovett <clovett@microsoft.com>
Date: Thu, 1 Sep 2022 10:09:46 -0700
Subject: [PATCH] fix: add reporting of missing expected output files .

---
 lakefile.lean | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lakefile.lean b/lakefile.lean
index ea8d9a3..cae14af 100644
--- 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