Decision #315 — src/core_api.rs:63
Status: no_witness
Truth table
| row | c0 br 1696 | c1 br 1697 | c2 br 1699 | c3 br 1700 | c4 br 1702 | c5 br 1704 | c6 br 1705 | outcome |
|---|---|---|---|---|---|---|---|---|
| 21217 | F | F | T | * | * | * | * | T |
| 21218 | F | F | T | * | * | * | * | T |
| 23960 | F | F | T | * | * | * | * | T |
| 23961 | F | F | T | * | * | * | * | T |
| 26603 | F | F | T | * | * | * | * | T |
| 26604 | F | F | T | * | * | * | * | T |
| 90796 | F | F | F | F | F | F | T | T |
| 90797 | F | F | F | F | F | F | T | T |
| 98570 | F | F | F | F | F | F | T | T |
| 98571 | F | F | F | F | F | F | T | T |
| 107064 | F | F | F | F | F | F | T | T |
| 107065 | F | F | F | F | F | F | T | T |
| 115140 | F | F | F | F | F | F | T | T |
| 115141 | F | F | F | F | F | F | T | T |
| 156421 | F | F | T | * | * | * | * | T |
| 156422 | F | F | T | * | * | * | * | T |
| 156423 | F | F | T | * | * | * | * | T |
| 156424 | F | F | T | * | * | * | * | T |
| 156425 | F | F | T | * | * | * | * | T |
| 156426 | F | F | T | * | * | * | * | T |
| 166279 | F | F | T | * | * | * | * | T |
| 166280 | F | F | T | * | * | * | * | T |
| 166281 | F | F | T | * | * | * | * | T |
| 166282 | F | F | T | * | * | * | * | T |
| 166283 | F | F | T | * | * | * | * | T |
| 166284 | F | F | T | * | * | * | * | T |
| 180771 | F | F | T | * | * | * | * | T |
| 184091 | F | F | T | * | * | * | * | T |
| 187198 | F | F | T | * | * | * | * | T |
| 376729 | F | F | F | F | F | F | T | T |
| 379366 | F | F | F | F | F | F | T | T |
| 382250 | F | F | F | F | F | F | T | T |
Independent-effect pairs
c0(branch1696): GAP view gap →<scry_bits::BitsCong>::reduce· br_if
inlined: src/digest.rs:86 ← src/lib.rs:101 ← src/lib.rs:310c1(branch1697): GAP view gap →<scry_bits::BitsCong>::reduce· br_ifc2(branch1699): GAP view gap →<scry_bits::BitsCong>::reduce· br_ifc3(branch1700): GAP view gap →<scry_bits::BitsCong>::reduce· br_ifc4(branch1702): GAP view gap →<scry_bits::BitsCong>::reduce· br_ifc5(branch1704): GAP view gap →<scry_bits::BitsCong>::reduce· br_ifc6(branch1705): GAP view gap →<scry_bits::BitsCong>::reduce· br_if