rapx 0.7.14

A static analysis platform for Rust program analysis and verification
Documentation 
1
2
3
4
5
6
7

mod call_visit;
mod display;
pub mod types;
mod visitor;

pub use types::{BackwardItem, ForgetReason, KeepReason, RelevantMirItems};
pub use visitor::BackwardVisitor;