pub fn regalloc_checker() -> Box<dyn Any>
Expand description

Register allocation symbolic verification