secrust 0.1.0-alpha.3

A Rust crate for source-level verification using Weakest Precondition calculus.
Documentation 
1
2
3
4
5

mod z3_parser;
mod z3_verifier;

pub use z3_parser::*;
pub use z3_verifier::*;