| Counter in file 0 2:9 -> 2:16, #1 |
| Counter in file 0 3:11 -> 3:20, (#1 + #2) |
| Counter in file 0 3:21 -> 4:6, #2 |
| Counter in file 0 5:1 -> 5:2, ((#1 + #2) - #2) |
| Emitting segments for file: ../coverage/while.rs |
| Combined regions: |
| 2:9 -> 2:16 (count=1) |
| 3:11 -> 3:20 (count=1) |
| 3:21 -> 4:6 (count=0) |
| 5:1 -> 5:2 (count=1) |
| Segment at 2:9 (count = 1), RegionEntry |
| Segment at 2:16 (count = 0), Skipped |
| Segment at 3:11 (count = 1), RegionEntry |
| Segment at 3:20 (count = 0), Skipped |
| Segment at 3:21 (count = 0), RegionEntry |
| Segment at 4:6 (count = 0), Skipped |
| Segment at 5:1 (count = 1), RegionEntry |
| Segment at 5:2 (count = 0), Skipped |
