Method run

src/checker/assertion_checker.rs:44–55

(&mut self)

    }

    fn run(&mut self) {
        info!("====== Assertion Checker starts ======");
        let basic_blocks = self.body_visitor.wto.basic_blocks.clone();
        for (bb, bb_data) in basic_blocks.iter_enumerated() {
            let term = bb_data.terminator();
            let post = self.body_visitor.post.clone();
            if let Some(s) = post.get(&bb) {
                self.run_terminator(term, s);
            }
        }
        info!("====== Assertion Checker ends ======");
    }
}

#[derive(Clone, Copy, Debug, Eq, PartialEq)]