Skip to main content

enumerate_boundary

Function enumerate_boundary 

Source
pub fn enumerate_boundary() -> Vec<Program>
Expand description

Deterministic boundary enumeration. For each register-only op, emit one program per relevant boundary-operand combination, seeding source registers x8/x9 and writing the result to x10. Guarantees the corner cases appear.