aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz.hs
diff options
context:
space:
mode:
authorYann Herklotz <git@ymhg.org>2019-05-07 15:12:37 +0100
committerYann Herklotz <git@ymhg.org>2019-05-07 15:12:37 +0100
commitd52b98fb2672374c48f157aaa68483c39a46363d (patch)
treebe63ae6594727a7f6a50560cd3056092c1194f27 /src/VeriFuzz.hs
parente811ba886d9adaed746abe1c9f37c1a87e58a964 (diff)
downloadverismith-d52b98fb2672374c48f157aaa68483c39a46363d.tar.gz
verismith-d52b98fb2672374c48f157aaa68483c39a46363d.zip
Rename some functions to use nicer names
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r--src/VeriFuzz.hs8
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 ".."