aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorYann Herklotz <ymherklotz@gmail.com>2019-02-05 15:10:58 +0000
committerYann Herklotz <ymherklotz@gmail.com>2019-02-05 15:11:23 +0000
commit02b5ed9984e0efd4a5032309dfb709b1fc30f876 (patch)
treefce52fe804b359587db422476e299bc90f7399ac /src
parent84517f9dbf601fe8580c7f25eb9768a142e88e20 (diff)
downloadverismith-02b5ed9984e0efd4a5032309dfb709b1fc30f876.tar.gz
verismith-02b5ed9984e0efd4a5032309dfb709b1fc30f876.zip
[Fix #21] Fix type signature to bytestring
Diffstat (limited to 'src')
-rw-r--r--src/VeriFuzz/General.hs8
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