write output directory for formal test failures

[nmutil.git] / src / nmutil / formaltest.py

diff --git a/src/nmutil/formaltest.py b/src/nmutil/formaltest.py
index db89f9e342ad63117a4313a601803d6effae860a..05a5396b8198acab40145d486439f7fe788e78c0 100644 (file)
--- 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}")