Skip to content

SENTINEL annotations

Clark Coleman requested to merge block_succ_fix into master

Emit SENTINEL annotations for loop compare and test instructions.

Merge request reports