diff options
Diffstat (limited to 'src/Test/VeriFuzz/Simulator/Icarus.hs')
| -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] |