diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-07 15:12:37 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 15:12:37 +0100 |
commit | d52b98fb2672374c48f157aaa68483c39a46363d (patch) | |
tree | be63ae6594727a7f6a50560cd3056092c1194f27 /src/VeriFuzz.hs | |
parent | e811ba886d9adaed746abe1c9f37c1a87e58a964 (diff) | |
download | verismith-d52b98fb2672374c48f157aaa68483c39a46363d.tar.gz verismith-d52b98fb2672374c48f157aaa68483c39a46363d.zip |
Rename some functions to use nicer names
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r-- | src/VeriFuzz.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 84d3336..cbbfb9a 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -121,11 +121,11 @@ onFailure t _ = do ex <- lastExitCode case ex of 124 -> do - echoP "Test TIMEOUT" + logger "Test TIMEOUT" chdir ".." $ cp_r (fromText t) $ fromText (t <> "_timeout") return $ Fail EmptyFail _ -> do - echoP "Test FAIL" + logger "Test FAIL" chdir ".." $ cp_r (fromText t) $ fromText (t <> "_failed") return $ Fail EmptyFail @@ -169,14 +169,14 @@ runEquivalence seed gm t d k i = do defaultYosys (Just defaultVivado) srcInfo - >> liftSh (echoP "Test OK") + >> liftSh (logger "Test OK") ) $ onFailure n _ <- catch_sh ( runResultT $ runSim (Icarus "iverilog" "vvp") srcInfo rand - >>= (\b -> liftSh $ echoP ("RTL Sim: " <> showBS b)) + >>= (\b -> liftSh $ logger ("RTL Sim: " <> showBS b)) ) $ onFailure n cd ".." |