Decision #632 — library/alloc/src/vec/mod.rs:2746
Status: no_witness
Truth table
| row | c0 br 4226 | c1 br 4227 | outcome |
|---|---|---|---|
| 1469 | F | T | T |
| 1470 | F | T | T |
| 1471 | F | T | T |
| 1472 | F | T | T |
| 1473 | F | F | T |
| 1474 | F | T | T |
| 1475 | F | T | T |
| 1476 | F | T | T |
| 1477 | F | T | T |
| 1478 | F | F | T |
| 8429 | F | T | T |
| 8430 | F | T | T |
| 8431 | F | T | T |
| 8432 | F | T | T |
| 8433 | F | F | T |
| 8434 | F | T | T |
| 8435 | F | T | T |
| 8436 | F | T | T |
| 8437 | F | T | T |
| 8438 | F | F | T |
| 15230 | F | T | T |
| 15231 | F | T | T |
| 15232 | F | T | T |
| 15233 | F | T | T |
| 15234 | F | F | T |
| 15235 | F | T | T |
| 15236 | F | T | T |
| 15237 | F | T | T |
| 15238 | F | T | T |
| 15239 | F | F | T |
| 21779 | F | F | T |
| 21780 | F | F | T |
| 24522 | F | F | T |
| 24523 | F | F | T |
| 27165 | F | F | T |
| 27166 | F | F | T |
| 30868 | F | F | T |
| 30869 | F | F | T |
| 51723 | F | F | T |
| 51724 | F | F | T |
| 72645 | F | F | T |
| 72646 | F | F | T |
| 82528 | F | F | T |
| 82529 | F | F | T |
| 92281 | F | T | T |
| 92282 | F | T | T |
| 92283 | F | F | T |
| 92284 | F | T | T |
| 92285 | F | T | T |
| 92286 | F | F | T |
| 100110 | F | T | T |
| 100111 | F | T | T |
| 100112 | F | F | T |
| 100113 | F | T | T |
| 100114 | F | T | T |
| 100115 | F | F | T |
| 108599 | F | T | T |
| 108600 | F | T | T |
| 108601 | F | F | T |
| 108602 | F | T | T |
| 108603 | F | T | T |
| 108604 | F | F | T |
| 116625 | F | T | T |
| 116626 | F | T | T |
| 116627 | F | F | T |
| 116628 | F | T | T |
| 116629 | F | T | T |
| 116630 | F | F | T |
| 124608 | F | F | T |
| 124609 | F | F | T |
| 141327 | F | F | T |
| 141328 | F | F | T |
| 158766 | F | T | T |
| 158767 | F | T | T |
| 158768 | F | T | T |
| 158769 | F | T | T |
| 158770 | F | T | T |
| 158771 | F | F | T |
| 158772 | F | T | T |
| 158773 | F | T | T |
| 158774 | F | T | T |
| 158775 | F | T | T |
| 158776 | F | T | T |
| 158777 | F | F | T |
| 168624 | F | T | T |
| 168625 | F | T | T |
| 168626 | F | T | T |
| 168627 | F | T | T |
| 168628 | F | T | T |
| 168629 | F | F | T |
| 168630 | F | T | T |
| 168631 | F | T | T |
| 168632 | F | T | T |
| 168633 | F | T | T |
| 168634 | F | T | T |
| 168635 | F | F | T |
| 176685 | F | T | T |
| 176686 | F | T | T |
| 176687 | F | F | T |
| 176688 | F | T | T |
| 176689 | F | T | T |
| 176690 | F | F | T |
| 181273 | F | F | T |
| 181274 | F | F | T |
| 184592 | F | F | T |
| 184593 | F | F | T |
| 187700 | F | F | T |
| 187701 | F | F | T |
| 191303 | F | F | T |
| 191304 | F | F | T |
| 196952 | F | T | T |
| 196953 | F | T | T |
| 196954 | F | F | T |
| 196955 | F | T | T |
| 196956 | F | T | T |
| 196957 | F | F | T |
| 203372 | F | F | T |
| 203373 | F | F | T |
| 208303 | F | T | T |
| 208304 | F | F | T |
| 208305 | F | T | T |
| 208306 | F | F | T |
| 215912 | F | F | T |
| 215913 | F | F | T |
| 224344 | F | F | T |
| 224345 | F | F | T |
| 301721 | F | F | T |
| 301722 | F | F | T |
| 377143 | F | F | T |
| 377144 | F | F | T |
| 379800 | F | F | T |
| 379801 | F | F | T |
| 382684 | F | F | T |
| 382685 | F | F | T |
Independent-effect pairs
c0(branch4226): GAP view gap →scry_analyze_core::sccs_reverse_topo_order· br_ifc1(branch4227): GAP view gap →scry_analyze_core::sccs_reverse_topo_order· br_if