GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

[symbolic] Fix comment reference in Testing module.

Browse Source
This commit is contained in:
Kevin Quick 2021-04-05 08:45:00 -07:00
parent b5c5ebcf42
commit 72ddaaf1d8
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
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/Testing.hs
View File

@ -129,7 +129,7 @@ runDiscovery :: (MC.ArchAddrWidth arch ~ w)
-- ^ A function to turn discovered symbols into (address, name)
-- mappings; the addresses are used as test entry points
--
-- A good default is 'toAddrySymMap'
-- A good default is 'toAddrSymMap'
-> MAI.ArchitectureInfo arch
-> IO (MM.Memory w, [Some (MD.DiscoveryFunInfo arch)])
runDiscovery ehi toEntryPoints archInfo = do