Crate read_write_set
source · [−]Structs
Functions
Infer read/write set results for modules
.
The modules
list must be topologically sorted by the dependency relation
(i.e., a child node in the dependency graph should appear earlier in the
vector than its parents), and all dependencies of each module must be
included.
Like analyze_unsorted, but assumes that modules
is already topologically sorted