diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-29 01:56:22 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-29 01:56:22 +0100 |
| commit | f0cc5bb8865b039b18bdc89e81df9bad72e0bdb5 (patch) | |
| tree | b1ce6f4042574a877577e9c9dfdc0b5323bb5287 /src/Test/VeriFuzz/Simulator/Icarus.hs | |
| parent | f16bde32c50099ef9e161fb9b54b770a8c37a508 (diff) | |
| download | verismith-f0cc5bb8865b039b18bdc89e81df9bad72e0bdb5.tar.gz verismith-f0cc5bb8865b039b18bdc89e81df9bad72e0bdb5.zip | |
Add simulator code
Diffstat (limited to 'src/Test/VeriFuzz/Simulator/Icarus.hs')
| -rw-r--r-- | src/Test/VeriFuzz/Simulator/Icarus.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Test/VeriFuzz/Simulator/Icarus.hs b/src/Test/VeriFuzz/Simulator/Icarus.hs index eaf7aff..119544f 100644 --- a/src/Test/VeriFuzz/Simulator/Icarus.hs +++ b/src/Test/VeriFuzz/Simulator/Icarus.hs @@ -14,6 +14,8 @@ Icarus verilog module. module Test.VeriFuzz.Simulator.Icarus where +import Data.ByteString (ByteString) +import qualified Data.ByteString as B import Data.Text (Text) import qualified Data.Text as T import Prelude hiding (FilePath) @@ -31,5 +33,5 @@ instance Simulator Icarus where instance Simulate Icarus where runSim = runSimIcarus -runSimIcarus :: Icarus -> ModDecl -> [Int] -> Sh Int +runSimIcarus :: Icarus -> ModDecl -> [ByteString] -> Sh Int runSimIcarus sim mod inp = return 0 |