Module Backend.ReverseAnalysisCallGraph
val build : CallGraph.t -> unit
Build the graph from the summaries in the .specs files
Backend.ReverseAnalysisCallGraph
val build : CallGraph.t -> unit
Build the graph from the summaries in the .specs files