Update coverage tests

This commit is contained in:
Matthew Jasper 2021-09-03 19:51:27 +01:00
parent 9366dfdff5
commit 4e2fd4fcb2
2 changed files with 5 additions and 5 deletions

View file

@ -21,7 +21,7 @@
}
bb2: {
switchInt(move _2) -> [false: bb4, otherwise: bb3]; // scope 0 at /the/src/instrument_coverage.rs:12:9: 14:10
switchInt(move _2) -> [false: bb4, otherwise: bb3]; // scope 0 at /the/src/instrument_coverage.rs:12:12: 12:17
}
bb3: {