Decision #1223 — library/core/src/fmt/mod.rs:2872
Status: no_witness
Truth table
| row | c0 br 8340 | c1 br 8342 | outcome |
|---|---|---|---|
| 2542 | * | T | T |
| 2543 | * | T | T |
| 2544 | * | T | T |
| 2545 | * | T | T |
| 2546 | * | T | T |
| 2547 | * | T | T |
| 2548 | * | T | T |
| 2549 | * | T | T |
| 2550 | * | T | T |
| 2551 | * | T | T |
| 2552 | * | T | T |
| 2553 | * | T | T |
| 9499 | * | T | T |
| 9500 | * | T | T |
| 9501 | * | T | T |
| 9502 | * | T | T |
| 9503 | * | T | T |
| 9504 | * | T | T |
| 9505 | * | T | T |
| 9506 | * | T | T |
| 9507 | * | T | T |
| 9508 | * | T | T |
| 9509 | * | T | T |
| 9510 | * | T | T |
| 16320 | * | T | T |
| 16321 | * | T | T |
| 16322 | * | T | T |
| 16323 | * | T | T |
| 16324 | * | T | T |
| 16325 | * | T | T |
| 16326 | * | T | T |
| 16327 | * | T | T |
| 16328 | * | T | T |
| 16329 | * | T | T |
| 16330 | * | T | T |
| 16331 | * | T | T |
| 22219 | * | T | T |
| 22220 | * | T | T |
| 22221 | * | T | T |
| 22222 | * | T | T |
| 22223 | * | T | T |
| 22224 | * | T | T |
| 22225 | * | T | T |
| 22226 | * | T | T |
| 24959 | * | T | T |
| 24960 | * | T | T |
| 24961 | * | T | T |
| 24962 | * | T | T |
| 24963 | * | T | T |
| 24964 | * | T | T |
| 24965 | * | T | T |
| 24966 | * | T | T |
| 27605 | * | T | T |
| 27606 | * | T | T |
| 27607 | * | T | T |
| 27608 | * | T | T |
| 27609 | * | T | T |
| 27610 | * | T | T |
| 27611 | * | T | T |
| 27612 | * | T | T |
| 39013 | * | T | T |
| 39014 | * | T | T |
| 39015 | * | T | T |
| 39016 | * | T | T |
| 39017 | * | T | T |
| 39018 | * | T | T |
| 39019 | * | T | T |
| 39020 | * | T | T |
| 59865 | * | T | T |
| 59866 | * | T | T |
| 59867 | * | T | T |
| 59868 | * | T | T |
| 59869 | * | T | T |
| 59870 | * | T | T |
| 59871 | * | T | T |
| 59872 | * | T | T |
| 75399 | * | T | T |
| 75400 | * | T | T |
| 75401 | * | T | T |
| 75402 | * | T | T |
| 75403 | * | T | T |
| 75404 | * | T | T |
| 75405 | * | T | T |
| 75406 | * | T | T |
| 85282 | * | T | T |
| 85283 | * | T | T |
| 85284 | * | T | T |
| 85285 | * | T | T |
| 85286 | * | T | T |
| 85287 | * | T | T |
| 85288 | * | T | T |
| 85289 | * | T | T |
| 93524 | * | T | T |
| 93525 | * | T | T |
| 93526 | * | T | T |
| 93527 | * | T | T |
| 93528 | * | T | T |
| 93529 | * | T | T |
| 93530 | * | T | T |
| 93531 | * | T | T |
| 93532 | * | T | T |
| 93533 | * | T | T |
| 101365 | * | T | T |
| 101366 | * | T | T |
| 101367 | * | T | T |
| 101368 | * | T | T |
| 101369 | * | T | T |
| 101370 | * | T | T |
| 101371 | * | T | T |
| 101372 | * | T | T |
| 101373 | * | T | T |
| 101374 | * | T | T |
| 109849 | * | T | T |
| 109850 | * | T | T |
| 109851 | * | T | T |
| 109852 | * | T | T |
| 109853 | * | T | T |
| 109854 | * | T | T |
| 109855 | * | T | T |
| 109856 | * | T | T |
| 109857 | * | T | T |
| 109858 | * | T | T |
| 117868 | * | T | T |
| 117869 | * | T | T |
| 117870 | * | T | T |
| 117871 | * | T | T |
| 117872 | * | T | T |
| 117873 | * | T | T |
| 117874 | * | T | T |
| 117875 | * | T | T |
| 117876 | * | T | T |
| 117877 | * | T | T |
| 132370 | * | T | T |
| 132371 | * | T | T |
| 132372 | * | T | T |
| 132373 | * | T | T |
| 132374 | * | T | T |
| 132375 | * | T | T |
| 132376 | * | T | T |
| 132377 | * | T | T |
| 149089 | * | T | T |
| 149090 | * | T | T |
| 149091 | * | T | T |
| 149092 | * | T | T |
| 149093 | * | T | T |
| 149094 | * | T | T |
| 149095 | * | T | T |
| 149096 | * | T | T |
| 160067 | * | T | T |
| 160068 | * | T | T |
| 160069 | * | T | T |
| 160070 | * | T | T |
| 160071 | * | T | T |
| 160072 | * | T | T |
| 160073 | * | T | T |
| 160074 | * | T | T |
| 169925 | * | T | T |
| 169926 | * | T | T |
| 169927 | * | T | T |
| 169928 | * | T | T |
| 169929 | * | T | T |
| 169930 | * | T | T |
| 169931 | * | T | T |
| 169932 | * | T | T |
| 177185 | * | T | T |
| 177186 | * | T | T |
| 177187 | * | T | T |
| 177188 | * | T | T |
| 177189 | * | T | T |
| 177190 | * | T | T |
| 177191 | * | T | T |
| 177192 | * | T | T |
| 177193 | * | T | T |
| 177194 | * | T | T |
| 181716 | * | T | T |
| 181717 | * | T | T |
| 181718 | * | T | T |
| 181719 | * | T | T |
| 181720 | * | T | T |
| 181721 | * | T | T |
| 181722 | * | T | T |
| 181723 | * | T | T |
| 181724 | * | T | T |
| 181725 | * | T | T |
| 185032 | * | T | T |
| 185033 | * | T | T |
| 185034 | * | T | T |
| 185035 | * | T | T |
| 185036 | * | T | T |
| 185037 | * | T | T |
| 185038 | * | T | T |
| 185039 | * | T | T |
| 185040 | * | T | T |
| 185041 | * | T | T |
| 188143 | * | T | T |
| 188144 | * | T | T |
| 188145 | * | T | T |
| 188146 | * | T | T |
| 188147 | * | T | T |
| 188148 | * | T | T |
| 188149 | * | T | T |
| 188150 | * | T | T |
| 188151 | * | T | T |
| 188152 | * | T | T |
| 192199 | * | T | T |
| 192200 | * | T | T |
| 192201 | * | T | T |
| 192202 | * | T | T |
| 192203 | * | T | T |
| 192204 | * | T | T |
| 192205 | * | T | T |
| 192206 | * | T | T |
| 192207 | * | T | T |
| 192208 | * | T | T |
| 192209 | * | T | T |
| 192210 | * | T | T |
| 198202 | * | T | T |
| 198203 | * | T | T |
| 198204 | * | T | T |
| 198205 | * | T | T |
| 198206 | * | T | T |
| 198207 | * | T | T |
| 198208 | * | T | T |
| 198209 | * | T | T |
| 198210 | * | T | T |
| 198211 | * | T | T |
| 198212 | * | T | T |
| 198213 | * | T | T |
| 204053 | * | T | T |
| 204054 | * | T | T |
| 204055 | * | T | T |
| 204056 | * | T | T |
| 204057 | * | T | T |
| 204058 | * | T | T |
| 204059 | * | T | T |
| 204060 | * | T | T |
| 204061 | * | T | T |
| 204062 | * | T | T |
| 204063 | * | T | T |
| 204064 | * | T | T |
| 209319 | * | T | T |
| 209320 | * | T | T |
| 209321 | * | T | T |
| 209322 | * | T | T |
| 209323 | * | T | T |
| 209324 | * | T | T |
| 209325 | * | T | T |
| 209326 | * | T | T |
| 209327 | * | T | T |
| 209328 | * | T | T |
| 209329 | * | T | T |
| 209330 | * | T | T |
| 216997 | * | T | T |
| 216998 | * | T | T |
| 216999 | * | T | T |
| 217000 | * | T | T |
| 217001 | * | T | T |
| 217002 | * | T | T |
| 217003 | * | T | T |
| 217004 | * | T | T |
| 217005 | * | T | T |
| 217006 | * | T | T |
| 217007 | * | T | T |
| 217008 | * | T | T |
| 252838 | * | T | T |
| 252839 | * | T | T |
| 252840 | * | T | T |
| 252841 | * | T | T |
| 252842 | * | T | T |
| 252843 | * | T | T |
| 252844 | * | T | T |
| 252845 | * | T | T |
| 330215 | * | T | T |
| 330216 | * | T | T |
| 330217 | * | T | T |
| 330218 | * | T | T |
| 330219 | * | T | T |
| 330220 | * | T | T |
| 330221 | * | T | T |
| 330222 | * | T | T |
| 377652 | * | T | T |
| 377653 | * | T | T |
| 377654 | * | T | T |
| 377655 | * | T | T |
| 377656 | * | T | T |
| 377657 | * | T | T |
| 377658 | * | T | T |
| 377659 | * | T | T |
| 380313 | * | T | T |
| 380314 | * | T | T |
| 380315 | * | T | T |
| 380316 | * | T | T |
| 380317 | * | T | T |
| 380318 | * | T | T |
| 380319 | * | T | T |
| 380320 | * | T | T |
| 383194 | * | T | T |
| 383195 | * | T | T |
| 383196 | * | T | T |
| 383197 | * | T | T |
| 383198 | * | T | T |
| 383199 | * | T | T |
| 383200 | * | T | T |
| 383201 | * | T | T |
Independent-effect pairs
c0(branch8340): DEAD view gap →<wasmparser::parser::Parser>::parse_reader· br_ifc1(branch8342): GAP view gap →<wasmparser::parser::Parser>::parse_reader· br_if