Decision #306 — src/lib.rs:129
Status: no_witness
Truth table
| row | c0 br 1654 | c1 br 1655 | c2 br 1656 | c3 br 1657 | outcome |
|---|---|---|---|---|---|
| 159 | T | * | * | T | T |
| 7119 | T | * | * | T | T |
| 13857 | T | * | * | T | T |
| 21213 | T | * | * | T | T |
| 23956 | T | * | * | T | T |
| 26599 | T | * | * | T | T |
| 29536 | T | * | * | T | T |
| 50391 | T | * | * | T | T |
| 71100 | T | * | * | T | T |
| 80983 | T | * | * | T | T |
| 90785 | F | F | F | F | F |
| 98559 | F | F | F | F | F |
| 107053 | F | F | F | F | F |
| 115129 | F | F | F | F | F |
| 123033 | T | * | * | T | T |
| 139752 | T | * | * | T | T |
| 156408 | T | * | * | T | T |
| 166266 | T | * | * | T | T |
| 176012 | F | F | F | F | F |
| 180768 | F | F | F | F | F |
| 184088 | F | F | F | F | F |
| 187195 | F | F | F | F | F |
| 190568 | T | * | * | T | T |
| 194923 | T | * | * | T | T |
| 202887 | T | * | * | T | T |
| 206266 | F | F | F | F | F |
| 214577 | F | F | F | F | F |
| 222273 | T | * | * | T | T |
| 299650 | T | * | * | T | T |
| 376724 | T | * | * | T | T |
| 379361 | T | * | * | T | T |
| 382245 | T | * | * | T | T |
Independent-effect pairs
All 4 conditions live in <(alloc::vec::Vec<scry_analyze_core::Advisory>, alloc::vec::Vec<core::option::Option<&str>>) as core::iter::traits::collect::default_extend::SpecExtend<alloc::vec::into_iter::IntoIter<(scry_analyze_core::Advisory, core::option::Option<&str>)>>>::extend — 4 br_if
c0(branch1654): GAP view gap →c1(branch1655): GAP view gap →c2(branch1656): GAP view gap →c3(branch1657): GAP view gap →