Skip to main content

rapx/verify/vm/
display.rs

1//! Debug and diagnostic display for the symbolic VM.
2
3use std::fmt;
4
5use super::state::ValueFacts;
6
7impl fmt::Display for ValueFacts<'_> {
8    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
9        let mut flags = Vec::new();
10        if self.non_null {
11            flags.push("non_null");
12        }
13        if self.init {
14            flags.push("init");
15        }
16        if self.in_bounds {
17            flags.push("in_bounds");
18        }
19        write!(f, "{}", flags.join("|"))
20    }
21}