Decision #398 — lib.rs:6669
Status: partial
Truth table
| row | c0 br 2517 | c1 br 2518 | outcome |
|---|---|---|---|
| 118419 | F | * | F |
| 118420 | T | * | T |
| 118421 | F | * | F |
| 118422 | T | * | T |
| 118423 | F | * | F |
| 118424 | T | * | T |
| 118425 | F | * | F |
| 118426 | T | * | T |
| 118427 | F | * | F |
| 118428 | T | * | T |
| 118429 | F | * | F |
| 118430 | T | * | T |
| 118431 | F | * | F |
| 118432 | T | * | T |
| 118433 | F | * | F |
| 118434 | T | * | T |
| 118435 | F | * | F |
| 118436 | T | * | T |
| 118437 | F | * | F |
| 118438 | T | * | T |
| 118439 | F | * | F |
| 118440 | T | * | T |
| 118441 | F | * | F |
| 118442 | T | * | T |
| 118443 | F | * | F |
| 118444 | T | * | T |
| 118445 | F | * | F |
| 118446 | T | * | T |
| 118447 | F | * | F |
| 118448 | T | * | T |
| 118449 | F | * | F |
| 118450 | T | * | T |
| 118451 | F | * | F |
| 118452 | T | * | T |
| 118453 | F | * | F |
| 118454 | T | * | T |
| 118455 | F | * | F |
| 118456 | T | * | T |
| 118457 | F | * | F |
| 118458 | T | * | T |
| 141355 | F | * | F |
| 141356 | T | * | T |
| 141357 | F | * | F |
| 141358 | T | * | T |
| 141359 | F | * | F |
| 141360 | T | * | T |
| 141361 | F | * | F |
| 141362 | T | * | T |
| 141363 | F | * | F |
| 141364 | T | * | T |
| 141365 | F | * | F |
| 141366 | T | * | T |
| 141367 | F | * | F |
| 141368 | T | * | T |
| 141369 | F | * | F |
| 141370 | T | * | T |
| 141371 | F | * | F |
| 141372 | T | * | T |
| 141373 | F | * | F |
| 141374 | T | * | T |
| 141375 | F | * | F |
| 141376 | T | * | T |
| 141377 | F | * | F |
| 141378 | T | * | T |
| 141379 | F | * | F |
| 141380 | T | * | T |
| 141381 | F | * | F |
| 141382 | T | * | T |
| 141383 | F | * | F |
| 141384 | T | * | T |
| 141385 | F | * | F |
| 141386 | T | * | T |
| 141387 | F | * | F |
| 141388 | T | * | T |
| 141389 | F | * | F |
| 141390 | T | * | T |
| 141391 | F | * | F |
| 141392 | T | * | T |
| 141393 | F | * | F |
| 141394 | T | * | T |
Independent-effect pairs
c0(branch2517): PROVED — pair rows118419,118420(masking)scry_analyze_core::refine_octagon_rel· br_ifc1(branch2518): DEAD view gap →scry_analyze_core::refine_octagon_rel· br_if