elina 0.3.1

Safe, high-level Rust wrapper for ELINA
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43

pub mod ast;
pub mod util;

#[cfg(test)]
mod tests {
    use elina_sys::ConsTyp;
    use crate::ast::{Abstract, Environment, OptPkManager, Tcons, Texpr};

    #[test]
    fn integration_test() {
        let env = Environment::new(vec!["x"]);
        let leaf_5 = Texpr::int(5);
        let leaf_x = Texpr::var(&env, "x");
        let x_plus_5 = leaf_x + leaf_5;

        let tcons1 = Tcons::new(x_plus_5, ConsTyp::SUPEQ);

        let tcons2 = Tcons::new(Texpr::int(20) - Texpr::var(&env, "x"), ConsTyp::SUPEQ);

        let man = OptPkManager::default();

        let top = Abstract::top(&man, &env);
        let meet_res = top.meet_copy(&man, &tcons1);
        let meet_res = meet_res.meet_copy(&man, &meet_res);
        let meet_res = meet_res.meet_copy(&man, &tcons2);

        meet_res.print(&man, &env);
    }

    #[test]
    fn new_environment() {
        let env = Environment::new(vec!["hello"]);
        let leaf = Texpr::var(&env, "hello");

        println!("{:?}", leaf)
    }


    #[test]
    fn it_works() {
        assert_eq!(2 + 2, 4);
    }
}