Crate cargo_check_deadlock 

Library code that implements the translation of Rust source code to a Petri net.

It uses rustc’s query system to navigate the AST.

Adapted from the example in the rustc-dev guide: https://rustc-dev-guide.rust-lang.org/rustc-driver-interacting-with-the-ast.html

NOTE: For the library code to compile, you will need to first run the following: rustup component add rustc-dev llvm-tools-preview

Modules

model_checker

Submodule for the supported model checkers.

Structs

PetriNet

Functions

run

Entry point for the translation of the Rust code to a Petri net.