diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:20:30 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-07 19:20:30 +0100 |
commit | 634315880f01c65d916d53db12f92b49517fab9f (patch) | |
tree | 13ee6cca09a7ce259fa032e90f602c855eb62836 /src/VeriFuzz/Sim/Internal.hs | |
parent | b073c6214dd62c9b8d30c5ec187375828c753d0e (diff) | |
download | verismith-634315880f01c65d916d53db12f92b49517fab9f.tar.gz verismith-634315880f01c65d916d53db12f92b49517fab9f.zip |
Use abc for verification
Diffstat (limited to 'src/VeriFuzz/Sim/Internal.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Internal.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/VeriFuzz/Sim/Internal.hs b/src/VeriFuzz/Sim/Internal.hs index c26b888..a11fbd3 100644 --- a/src/VeriFuzz/Sim/Internal.hs +++ b/src/VeriFuzz/Sim/Internal.hs @@ -51,7 +51,6 @@ import Prelude hiding (FilePath) import Shelly import Shelly.Lifted (MonadSh, liftSh) import System.FilePath.Posix (takeBaseName) -import VeriFuzz.Internal import VeriFuzz.Result import VeriFuzz.Verilog.AST @@ -154,9 +153,8 @@ logger t = do fn <- pwd currentTime <- liftIO getZonedTime echo - $ "VeriFuzz [" - <> T.pack (formatTime defaultTimeLocale "%Y-%m-%d %H:%M:%S" currentTime) - <> "] " + $ "VeriFuzz " + <> T.pack (formatTime defaultTimeLocale "%H:%M:%S " currentTime) <> bname fn <> " - " <> t |