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 /app | |
| parent | 0b13e415f99b49437d8524a284abf3059a70e398 (diff) | |
| download | verismith-4c20555200628f9f3b32ac4d08ea104dc9ef0560.tar.gz verismith-4c20555200628f9f3b32ac4d08ea104dc9ef0560.zip | |
Remove directories without failures
Diffstat (limited to 'app')
| -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) |