diff options
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 |