bottom_free/bottom_free.rs
1use std::ops::{Add, Mul};
2use elina::ast::*;
3
4fn main() {
5 let env = Environment::new(vec!["x", "y", "z", "i"]);
6 let man = OptPkManager::default();
7
8 std::mem::drop(Abstract::bottom(&man, &env));
9 println!("after ::bottom free");
10
11 let mut top = Abstract::top(&man, &env);
12 top.meet(&man, &Abstract::bottom(&man, &env));
13 println!("after created bottom");
14 std::mem::drop(top);
15 println!("after created bottom free");
16}