diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-05 15:10:40 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-05 15:10:40 +0000 |
commit | 84517f9dbf601fe8580c7f25eb9768a142e88e20 (patch) | |
tree | 407de56e74d8444b6f60a8fab24de4a996f657dc /src/VeriFuzz | |
parent | 0358491c2795e7fdd2145519fed0ba645bcb545d (diff) | |
download | verismith-84517f9dbf601fe8580c7f25eb9768a142e88e20.tar.gz verismith-84517f9dbf601fe8580c7f25eb9768a142e88e20.zip |
Add hashing of bytestring output
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Icarus.hs | 34 |
1 files changed, 18 insertions, 16 deletions
diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs index 8ac6c88..0519b93 100644 --- a/src/VeriFuzz/Icarus.hs +++ b/src/VeriFuzz/Icarus.hs @@ -13,21 +13,22 @@ Icarus verilog module. module VeriFuzz.Icarus where import Control.Lens -import Crypto.Hash.SHA1 (hash) -import Data.Binary (encode) -import Data.ByteString (ByteString) -import qualified Data.ByteString as B -import Data.ByteString.Lazy (toStrict) -import qualified Data.ByteString.Lazy as L (ByteString) -import Data.Char (digitToInt) -import Data.Foldable (fold) -import Data.List (transpose) -import Data.Maybe (fromMaybe, listToMaybe) -import Data.Text (Text) -import qualified Data.Text as T -import Data.Text.Encoding (encodeUtf8) -import Numeric (readInt) -import Prelude hiding (FilePath) +import Crypto.Hash (Digest, hash) +import Crypto.Hash.Algorithms (SHA256) +import Data.Binary (encode) +import qualified Data.ByteArray as BA (convert) +import Data.ByteString (ByteString) +import qualified Data.ByteString as B +import Data.ByteString.Lazy (toStrict) +import qualified Data.ByteString.Lazy as L (ByteString) +import Data.Char (digitToInt) +import Data.Foldable (fold) +import Data.List (transpose) +import Data.Maybe (fromMaybe, listToMaybe) +import Data.Text (Text) +import qualified Data.Text as T +import Numeric (readInt) +import Prelude hiding (FilePath) import Shelly import VeriFuzz.AST import VeriFuzz.CodeGen @@ -92,4 +93,5 @@ runSimIcarus sim m bss = do writefile "main.v" $ genSource modWithTb echoP "Run icarus" run_ (icarusPath sim) ["-o", "main", "main.v"] - hash <$> runFoldLines (mempty :: ByteString) callback (vvpPath sim) ["main"] + B.take 8 . BA.convert . (hash :: ByteString -> Digest SHA256) <$> + runFoldLines (mempty :: ByteString) callback (vvpPath sim) ["main"] |