diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-01 14:20:22 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-01 14:20:22 +0100 |
| commit | 5c0b99fc4a085fa477a96ae85f01c69e9def80d2 (patch) | |
| tree | d64ec652e1ae135d38a38bd2b036c51822beff94 /src | |
| parent | d2b9f0bf57a32e520e28d240deeec6a519275b2b (diff) | |
| download | verismith-5c0b99fc4a085fa477a96ae85f01c69e9def80d2.tar.gz verismith-5c0b99fc4a085fa477a96ae85f01c69e9def80d2.zip | |
Use Monoid Statement instance to make code more concise
Diffstat (limited to 'src')
| -rw-r--r-- | src/Test/VeriFuzz/Simulator/Icarus.hs | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/Test/VeriFuzz/Simulator/Icarus.hs b/src/Test/VeriFuzz/Simulator/Icarus.hs index e59e4ab..5a4a12d 100644 --- a/src/Test/VeriFuzz/Simulator/Icarus.hs +++ b/src/Test/VeriFuzz/Simulator/Icarus.hs @@ -36,11 +36,9 @@ instance Simulate Icarus where runSimIcarus :: Icarus -> ModDecl -> [ByteString] -> Sh Int runSimIcarus sim mod tst = do let tb = ModDecl "main" [] [] - [ Initial $ SeqBlock - [ SysTaskEnable $ Task "display" - [ Str "21832" ] - , SysTaskEnable $ Task "finish" [] - ] + [ Initial $ + (SysTaskEnable $ Task "display" [ Str "21832" ]) + <> (SysTaskEnable $ Task "finish" []) ] let newtb = instantiateMod mod tb let modWithTb = VerilogSrc $ Description <$> [newtb, mod] |