main define i32 @main() { bb: br label %bb1 bb1: br label %bb1 } 2.1 8 8 main bb 0 9 main bb1 0 10 main bb1 0 11 main bb1 0 8
9
9
10
10
11
11 10 9 8 11 10 1 8 9 2 10 11 3 11 10 4 9 10 8 9 10 11 9 9 8 8 11 11 10 10 11 10 11 10 10 10 1 10 10 AProVE AProVE Commit ID: unknown Statistics for single proof: 87,50 % (7 real / 0 unknown / 1 assumptions / 8 total proof steps) http://aprove.informatik.rwth-aachen.de John Doe