From 4c20555200628f9f3b32ac4d08ea104dc9ef0560 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sat, 2 Feb 2019 22:27:14 +0000
Subject: Remove directories without failures

---
 app/Main.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'app')

diff --git a/app/Main.hs b/app/Main.hs
index fa4f4f4..1979112 100644
--- a/app/Main.hs
+++ b/app/Main.hs
@@ -66,8 +66,9 @@ runEquivalence gm t i = do
     setenv "VERIFUZZ_ROOT" curr
     cd (fromText "output" </> fromText n)
     catch_sh (runEquiv defaultYosys defaultYosys
-              (Just defaultXst) m >> echoP "Test OK") $
+              (Just defaultXst) m >> echoP "Test OK" >> cd "..") $
       onFailure n
+    rm_rf $ fromText n
   when (i < 5) (runEquivalence gm t $ i+1)
   where
     n = t <> "_" <> T.pack (show i)
-- 
cgit