Decision #859 — lib.rs:200
Status: full_mcdc
Truth table
| row | c0 br 5773 | c1 br 5774 | outcome |
|---|---|---|---|
| 22043 | T | T | T |
| 22044 | T | F | F |
| 22045 | T | T | T |
| 22046 | T | F | F |
| 24785 | T | T | T |
| 24786 | T | F | F |
| 24787 | T | T | T |
| 24788 | T | F | F |
| 27429 | T | T | T |
| 27430 | T | F | F |
| 27431 | T | T | T |
| 27432 | T | F | F |
| 31423 | T | F | F |
| 31424 | T | F | F |
| 52277 | T | F | F |
| 52278 | T | F | F |
| 73320 | T | F | F |
| 73321 | T | F | F |
| 83203 | T | F | F |
| 83204 | T | F | F |
| 125258 | T | F | F |
| 125259 | T | F | F |
| 141977 | T | F | F |
| 141978 | T | F | F |
| 159501 | F | * | F |
| 159502 | T | F | F |
| 159503 | T | T | T |
| 159504 | F | * | F |
| 159505 | F | * | F |
| 159506 | T | T | T |
| 159507 | F | * | F |
| 159508 | F | * | F |
| 159509 | T | F | F |
| 159510 | T | T | T |
| 159511 | F | * | F |
| 159512 | F | * | F |
| 159513 | T | T | T |
| 159514 | F | * | F |
| 169359 | F | * | F |
| 169360 | T | F | F |
| 169361 | T | T | T |
| 169362 | F | * | F |
| 169363 | F | * | F |
| 169364 | T | T | T |
| 169365 | F | * | F |
| 169366 | F | * | F |
| 169367 | T | F | F |
| 169368 | T | T | T |
| 169369 | F | * | F |
| 169370 | F | * | F |
| 169371 | T | T | T |
| 169372 | F | * | F |
| 181527 | T | F | F |
| 181528 | T | F | F |
| 184845 | T | F | F |
| 184846 | T | F | F |
| 187954 | T | F | F |
| 187955 | T | F | F |
| 191618 | T | F | F |
| 191619 | T | F | F |
| 197594 | T | T | T |
| 197595 | T | F | F |
| 197596 | T | T | T |
| 197597 | T | F | F |
| 208817 | T | T | T |
| 208818 | T | F | F |
| 208819 | T | T | T |
| 208820 | T | F | F |
| 216284 | T | F | F |
| 216285 | T | T | T |
| 216286 | T | T | T |
| 216287 | T | F | F |
| 216288 | T | F | F |
| 216289 | T | T | T |
| 216290 | T | T | T |
| 216291 | T | F | F |
| 225283 | T | F | F |
| 225284 | T | F | F |
| 302660 | T | F | F |
| 302661 | T | F | F |
Independent-effect pairs
c0(branch5773): PROVED — pair rows22043,159501(masking)core::slice::sort::shared::smallsort::insertion_sort_shift_left::<i64, <i64 as core::cmp::PartialOrd>::lt>· br_if
inlined: lib.rs:192c1(branch5774): PROVED — pair rows22043,22044(unique-cause)core::slice::sort::shared::smallsort::insertion_sort_shift_left::<i64, <i64 as core::cmp::PartialOrd>::lt>· br_if