Crate read_write_set

source ·

Modules

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