From 99316e7807648a9a6c9293cc6a5cdfc7740e3e18 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 4 Aug 2022 00:04:03 -0700
Subject: [PATCH] write output directory for formal test failures

---
 src/nmutil/formaltest.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nmutil/formaltest.py b/src/nmutil/formaltest.py
index db89f9e..05a5396 100644
--- a/src/nmutil/formaltest.py
+++ b/src/nmutil/formaltest.py
@@ -73,4 +73,4 @@ class FHDLTestCase(unittest.TestCase):
                               stdout=subprocess.PIPE) as proc:
             stdout, stderr = proc.communicate(config)
             if proc.returncode != 0:
-                self.fail("Formal verification failed:\n" + stdout)
+                self.fail(f"Formal verification failed:\nIn {path}\n{stdout}")
-- 
2.30.2