diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-09 14:36:28 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-09 14:36:28 +0100 |
| commit | 110d1392882cff9618997acad85af78017688c86 (patch) | |
| tree | 5982e3d54321f89af1d1b694ed7db35fca03858a /src/VeriFuzz.hs | |
| parent | fa2703bb983c2dd72fea3863980a7c589b57f0a4 (diff) | |
| download | verismith-110d1392882cff9618997acad85af78017688c86.tar.gz verismith-110d1392882cff9618997acad85af78017688c86.zip | |
Add NFData to force evaluation of config file
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index c4c7448..495492f 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -15,7 +15,6 @@ module VeriFuzz , runSimulation , runReduce , draw - , versionInfo , SourceInfo(..) , module VeriFuzz.Verilog , module VeriFuzz.Config @@ -38,12 +37,9 @@ import Data.Text (Text) import qualified Data.Text as T import Data.Text.Encoding (decodeUtf8) import qualified Data.Text.IO as T -import Data.Version (showVersion) -import Development.GitRev import Hedgehog (Gen) import qualified Hedgehog.Gen as Hog import Hedgehog.Internal.Seed (Seed) -import Paths_verifuzz (version) import Prelude hiding (FilePath) import Shelly import Shelly.Lifted (liftSh) @@ -57,16 +53,6 @@ import VeriFuzz.Sim import VeriFuzz.Sim.Internal import VeriFuzz.Verilog -versionInfo :: String -versionInfo = - "VeriFuzz " - <> showVersion version - <> " (" - <> $(gitCommitDate) - <> " " - <> $(gitHash) - <> ")" - -- | Generate a specific number of random bytestrings of size 256. randomByteString :: C.CtrDRBG -> Int -> [ByteString] -> [ByteString] randomByteString gen n bytes |