GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-29 17:17:05 +03:00
Code Issues Projects Releases Wiki Activity

symbolic: Expose the constructor for MacawSimulatorState

Browse Source 
This is needed to run the simulator
This commit is contained in:
Tristan Ravitch 2018-04-13 09:06:03 -07:00
parent 43688edef9
commit 9f93fd09c9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
symbolic/src/Data/Macaw/Symbolic.hs
View File

@ -16,7 +16,7 @@ module Data.Macaw.Symbolic
, Data.Macaw.Symbolic.CrucGen.MacawExt
, Data.Macaw.Symbolic.CrucGen.CrucGen
, Data.Macaw.Symbolic.CrucGen.MemSegmentMap
, MacawSimulatorState
, MacawSimulatorState(..)
, runCodeBlock
-- , runBlocks
, mkBlocksCFG