Decision #876 — mod.rs:1661
Status: partial
Truth table
| row | c0 br 6091 | c1 br 6092 | outcome |
|---|---|---|---|
| 2907 | F | T | T |
| 2908 | F | F | F |
| 2909 | F | T | T |
| 2910 | F | T | T |
| 2911 | * | T | T |
| 5908 | * | F | F |
| 9062 | F | T | T |
| 9063 | F | F | F |
| 9064 | F | T | T |
| 9065 | F | T | T |
| 9066 | F | T | T |
| 9067 | F | T | T |
| 9068 | F | T | T |
| 9069 | F | T | T |
| 9070 | F | T | T |
| 9071 | F | T | T |
| 9072 | * | T | T |
| 10480 | F | T | T |
| 10481 | F | F | F |
| 10482 | * | T | T |
| 11608 | * | F | F |
| 12719 | F | T | T |
| 12720 | F | F | F |
| 12721 | * | T | T |
| 20440 | F | T | T |
| 20441 | F | F | F |
| 20442 | * | T | T |
| 28132 | * | F | F |
| 34032 | F | T | T |
| 34033 | F | F | F |
| 34034 | * | T | T |
| 39970 | F | T | T |
| 39971 | F | F | F |
| 39972 | * | T | T |
| 42846 | F | T | T |
| 42847 | F | F | F |
| 42848 | F | T | T |
| 42849 | * | T | T |
| 46022 | F | T | T |
| 46023 | F | F | F |
| 46024 | F | T | T |
| 46025 | F | T | T |
| 46026 | F | T | T |
| 46027 | F | T | T |
| 46028 | F | T | T |
| 46029 | F | T | T |
| 46030 | F | T | T |
| 46031 | F | T | T |
| 46032 | F | T | T |
| 46033 | * | T | T |
| 49366 | F | F | F |
| 49367 | F | T | T |
| 49368 | F | T | T |
| 49369 | * | T | T |
| 52386 | F | T | T |
| 52387 | F | F | F |
| 52388 | F | T | T |
| 52389 | * | T | T |
| 62256 | F | T | T |
| 62257 | F | F | F |
| 62258 | * | T | T |
| 72028 | F | T | T |
| 72029 | F | F | F |
| 72030 | * | T | T |
| 75431 | F | T | T |
| 75432 | F | F | F |
| 75433 | * | T | T |
| 78906 | F | T | T |
| 78907 | F | F | F |
| 78908 | * | T | T |
| 80468 | F | T | T |
| 80469 | F | F | F |
| 80470 | F | T | T |
| 80471 | F | T | T |
| 80472 | F | T | T |
| 80473 | * | T | T |
| 81695 | F | T | T |
| 81696 | F | F | F |
| 81697 | F | T | T |
| 81698 | * | T | T |
| 82851 | * | F | F |
| 83944 | F | T | T |
| 83945 | F | F | F |
| 83946 | F | T | T |
| 83947 | * | T | T |
| 85231 | F | T | T |
| 85232 | F | F | F |
| 85233 | * | T | T |
| 87323 | F | T | T |
| 87324 | F | F | F |
| 87325 | F | T | T |
| 87326 | F | T | T |
| 87327 | F | T | T |
| 87328 | * | T | T |
| 88551 | F | T | T |
| 88552 | F | F | F |
| 88553 | * | T | T |
| 90534 | F | T | T |
| 90535 | F | F | F |
| 90536 | F | T | T |
| 90537 | F | T | T |
| 90538 | * | T | T |
| 92016 | F | T | T |
| 92017 | F | F | F |
| 92018 | F | T | T |
| 92019 | * | T | T |
| 110921 | F | T | T |
| 110922 | F | F | F |
| 110923 | * | T | T |
| 129784 | F | T | T |
| 129785 | F | F | F |
| 129786 | * | T | T |
| 130942 | F | T | T |
| 130943 | F | F | F |
| 130944 | * | T | T |
| 132189 | F | T | T |
| 132190 | F | F | F |
| 132191 | F | T | T |
| 132192 | F | T | T |
| 132193 | * | T | T |
| 133480 | F | F | F |
| 133481 | * | T | T |
Independent-effect pairs
c0(branch6091): GAP view gap →alloc::fmt::format::format_inner· br_ifc1(branch6092): PROVED — pair rows2907,2908(unique-cause)alloc::fmt::format::format_inner· br_if