diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-05 15:10:58 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-05 15:11:23 +0000 |
commit | 02b5ed9984e0efd4a5032309dfb709b1fc30f876 (patch) | |
tree | fce52fe804b359587db422476e299bc90f7399ac /src/VeriFuzz | |
parent | 84517f9dbf601fe8580c7f25eb9768a142e88e20 (diff) | |
download | verismith-02b5ed9984e0efd4a5032309dfb709b1fc30f876.tar.gz verismith-02b5ed9984e0efd4a5032309dfb709b1fc30f876.zip |
[Fix #21] Fix type signature to bytestring
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/General.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz/General.hs b/src/VeriFuzz/General.hs index 9b8f5c5..5ad1c5c 100644 --- a/src/VeriFuzz/General.hs +++ b/src/VeriFuzz/General.hs @@ -28,10 +28,10 @@ class Simulator a where -- | Simulation type class. class (Simulator a) => Simulate a where - runSim :: a -- ^ Simulator instance - -> ModDecl -- ^ Module to simulate - -> [ByteString] -- ^ Inputs to simulate - -> Sh Int -- ^ Returns the value of the hash at the output of the testbench. + runSim :: a -- ^ Simulator instance + -> ModDecl -- ^ Module to simulate + -> [ByteString] -- ^ Inputs to simulate + -> Sh ByteString -- ^ Returns the value of the hash at the output of the testbench. -- | Synthesize type class. class (Simulator a) => Synthesize a where |