diff options
author | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-01 19:18:05 +0000 |
---|---|---|
committer | Yann Herklotz Grave <git@yannherklotzgrave.com> | 2019-03-01 19:18:05 +0000 |
commit | ad199f8087642573f4f7daeeb588a43faaa3eab3 (patch) | |
tree | 067e3ee13861e2ed8141e196a9fe9d96b3191b0b /src/VeriFuzz/Icarus.hs | |
parent | dba53cd980a215936cffaedb84ad1e4c0784beee (diff) | |
download | verismith-ad199f8087642573f4f7daeeb588a43faaa3eab3.tar.gz verismith-ad199f8087642573f4f7daeeb588a43faaa3eab3.zip |
Add lens to access main module in SourceInfo
Diffstat (limited to 'src/VeriFuzz/Icarus.hs')
-rw-r--r-- | src/VeriFuzz/Icarus.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs index 0a807dc..b709967 100644 --- a/src/VeriFuzz/Icarus.hs +++ b/src/VeriFuzz/Icarus.hs @@ -12,6 +12,7 @@ Icarus verilog module. module VeriFuzz.Icarus where +import Control.Lens import Crypto.Hash (Digest, hash) import Crypto.Hash.Algorithms (SHA256) import Data.Binary (encode) @@ -91,7 +92,7 @@ runSimIcarus sim rinfo bss = do let modWithTb = VerilogSrc $ Description <$> [newtb, m] writefile "main.v" $ genSource modWithTb runSimWithFile sim "main.v" bss - where m = mainModule rinfo + where m = rinfo ^. mainModule runSimIcarusWithFile :: Icarus -> FilePath -> [ByteString] -> Sh ByteString runSimIcarusWithFile sim f _ = do |