main define i32 @main() { bb: br label %bb1 bb1: br i1 0, label %bb2, label %bb3 bb2: br label %bb1 bb3: ret i32 0 } 2.1 14 16 main bb3 0 14 main bb 0 15 main bb1 0 16 14
15
15 16 15 14 1 14 15 2 15 16 16 14 15 AProVE AProVE Commit ID: unknown Statistics for single proof: 75,00 % (3 real / 0 unknown / 1 assumptions / 4 total proof steps) http://aprove.informatik.rwth-aachen.de John Doe