diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-02 22:27:14 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-02 22:27:14 +0000 |
commit | 4c20555200628f9f3b32ac4d08ea104dc9ef0560 (patch) | |
tree | 58f3c087db166b413cc7914cb60cb19c6c74bce2 | |
parent | 0b13e415f99b49437d8524a284abf3059a70e398 (diff) | |
download | verismith-4c20555200628f9f3b32ac4d08ea104dc9ef0560.tar.gz verismith-4c20555200628f9f3b32ac4d08ea104dc9ef0560.zip |
Remove directories without failures
-rw-r--r-- | app/Main.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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) |