diff options
Diffstat (limited to 'src')
-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 |