Crate read_write_set
source ·Modules
Structs
Functions
- Infer read/write set results for
modules
. Themodules
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