haybale 0.7.2

Symbolic execution of LLVM IR, written in Rust
Documentation 
1
2
3
4
5
6
7

pub fn may_panic(a: i32) -> i32 {
    if a > 2 {
        panic!("a > 2");
    } else {
        return 1;
    }
}