GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-30 05:55:02 +03:00
Code Issues Projects Releases Wiki Activity

symbolic: export macawExtensions

Browse Source 
This makes it easier (possible?) to call the simulator with a more custom setup
than is supported by runCodeBlock
This commit is contained in:
Tristan Ravitch 2018-04-13 11:52:30 -07:00
parent 9f93fd09c9
commit b2d955cb3e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -17,6 +17,7 @@ module Data.Macaw.Symbolic
, Data.Macaw.Symbolic.CrucGen.CrucGen , Data.Macaw.Symbolic.CrucGen.CrucGen
, Data.Macaw.Symbolic.CrucGen.MemSegmentMap , Data.Macaw.Symbolic.CrucGen.MemSegmentMap
, MacawSimulatorState(..) , MacawSimulatorState(..)
, macawExtensions
, runCodeBlock , runCodeBlock
-- , runBlocks -- , runBlocks
, mkBlocksCFG , mkBlocksCFG