Decision #924 — binary_reader.rs:444
Status: no_witness
Truth table
| row | c0 br 6680 | c1 br 6681 | outcome |
|---|---|---|---|
| 1905 | T | F | F |
| 5696 | T | F | F |
| 9477 | T | F | F |
| 12333 | T | F | F |
| 13707 | T | F | F |
| 15034 | T | F | F |
| 38258 | T | F | F |
| 44471 | T | F | F |
| 49085 | T | F | F |
| 53286 | T | F | F |
| 57816 | T | F | F |
| 62009 | T | F | F |
| 89590 | T | F | F |
| 93858 | T | F | F |
| 98386 | T | F | F |
| 99901 | T | F | F |
| 101319 | T | F | F |
| 107076 | T | F | F |
| 112559 | T | F | F |
| 135297 | T | F | F |
| 158233 | T | F | F |
Independent-effect pairs
c0(branch6680): GAP view gap →<alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>· br_ifc1(branch6681): GAP view gap →<alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>· br_if