pub fn regalloc_checker() -> TimingToken
Expand description

Register allocation symbolic verification