update example

GaloisInc · Aug 8, 2023 · d346809 · d346809
1 parent d0f7c96
commit d346809
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/reopt-explore/Residual.hs b/reopt-explore/Residual.hs
@@ -296,8 +296,8 @@ splitAtAddresses addrs segs =
   , final_seg <- splitSegmentAtAddresses addrs initial_seg
   ]
 
--- >>> splitAtAddresses [2, 5, 7] [(1, 5), (6, 7)]
--- [(1,1),(2,4),(5,5),(6,6),(7,7)]
+-- >>> splitAtAddresses [2, 5, 7] (map InclusiveRange [(1, 5), (6, 7)])
+-- [0x1 - 0x1,0x2 - 0x4,0x5 - 0x5,0x6 - 0x6,0x7 - 0x7]
 
 -- NOTE: assumes a sorted residual segment list
 registerAsBlockSegment :: PartitionedSegments -> InclusiveRange Word64 -> PartitionedSegments