Decision #1101 — readers.rs:197
Status: partial
Truth table
| row | c0 br 7704 | c1 br 7705 | outcome |
|---|---|---|---|
| 2205 | F | F | F |
| 2206 | F | F | F |
| 2207 | F | F | F |
| 2208 | F | F | F |
| 2209 | F | F | F |
| 5996 | F | F | F |
| 5997 | F | F | F |
| 5998 | F | F | F |
| 5999 | F | F | F |
| 6000 | F | F | F |
| 9777 | F | F | F |
| 9778 | F | F | F |
| 9779 | F | F | F |
| 9780 | F | F | F |
| 9781 | F | F | F |
| 12485 | F | F | F |
| 13859 | F | F | F |
| 15186 | F | F | F |
| 22621 | F | T | T |
| 22622 | F | F | F |
| 32099 | F | T | T |
| 32100 | F | F | F |
| 38418 | F | T | T |
| 38419 | F | F | F |
| 44631 | F | T | T |
| 44632 | F | F | F |
| 49313 | F | F | F |
| 49314 | F | F | F |
| 49315 | F | F | F |
| 53514 | F | F | F |
| 53515 | F | F | F |
| 53516 | F | F | F |
| 58044 | F | F | F |
| 58045 | F | F | F |
| 58046 | F | F | F |
| 62237 | F | F | F |
| 62238 | F | F | F |
| 62239 | F | F | F |
| 72741 | F | T | T |
| 72742 | F | F | F |
| 84254 | F | T | T |
| 84255 | F | F | F |
| 89843 | F | F | F |
| 89844 | F | F | F |
| 89845 | F | F | F |
| 89846 | F | F | F |
| 89847 | F | F | F |
| 89848 | F | F | F |
| 94111 | F | F | F |
| 94112 | F | F | F |
| 94113 | F | F | F |
| 94114 | F | F | F |
| 94115 | F | F | F |
| 94116 | F | F | F |
| 96813 | F | F | F |
| 96814 | F | F | F |
| 96815 | F | F | F |
| 98569 | F | F | F |
| 100084 | F | F | F |
| 101502 | F | F | F |
| 103591 | F | F | F |
| 107317 | F | F | F |
| 107318 | F | F | F |
| 107319 | F | F | F |
| 109764 | F | F | F |
| 112797 | F | F | F |
| 112798 | F | F | F |
| 115666 | F | F | F |
| 135457 | F | T | T |
| 135458 | F | F | F |
| 158393 | F | T | T |
| 158394 | F | F | F |
| 163810 | F | F | F |
| 165391 | F | F | F |
| 167111 | F | F | F |
Independent-effect pairs
c0(branch7704): GAP view gap →<wasmparser::readers::core::code::LocalsIterator as core::iter::traits::iterator::Iterator>::next· br_ifc1(branch7705): PROVED — pair rows2205,22621(unique-cause)<wasmparser::readers::core::code::LocalsIterator as core::iter::traits::iterator::Iterator>::next· br_if