Skip to content
Snippets Groups Projects
Commit 629685eb authored by Cécile Ruet-Cros's avatar Cécile Ruet-Cros Committed by Loïc Correnson
Browse files

[region] add removed pointed_by

parent 6d36039b
No related branches found
No related tags found
No related merge requests found
......@@ -72,6 +72,7 @@ let base_addr _map region = (* TODO *) region
let points_to (map:map) (region:region) : region option =
Option.map (Memory.region map.map) @@ Memory.cpointed map.map region.Memory.node
let pointed_by map region = Memory.cpointed_by map region
(* COMPARATOR *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment