Decision #258 — library/core/src/num/uint_macros.rs:614

Status: no_witness

Truth table

rowc0 br 1945c1 br 1946c2 br 1954c3 br 1959c4 br 1960c5 br 1962outcome
9627TTTT**T
9628TTTT**T
9629TTTT**T
9630TTTT**T
10775TTTT**T
10776TTTT**T
10777TTTT**T
10778TTTT**T
11866TTTT**T
11867TTTT**T
11868TTTT**T
11869TTTT**T
13615TTTT**T
13616TTTT**T
13617TTTT**T
13618TTTT**T
13619TTTT**T
13620TTTT**T
21333TTTT**T
21334TTTT**T
21335TTTT**T
21336TTTT**T
21337TTTT**T
21338TTTT**T
29306TTTT**T
29307TTTT**T
29308TTTT**T
29309TTTT**T
29310TTTT**T
29311TTTT**T
29312TTTT**T
29313TTTT**T
29314TTTT**T
29315TTTT**T
29316TTTT**T
29317TTTT**T
29318TTTT**T
29319TTTT**T
29320TTTT**T
29321TTTT**T
35244TTTT**T
35245TTTT**T
35246TTTT**T
35247TTTT**T
35248TTTT**T
35249TTTT**T
35250TTTT**T
35251TTTT**T
35252TTTT**T
35253TTTT**T
35254TTTT**T
35255TTTT**T
35256TTTT**T
35257TTTT**T
35258TTTT**T
35259TTTT**T
40758TTTT**T
40759TTTT**T
40760TTTT**T
40761TTTT**T
40762TTTT**T
40763TTTT**T
40764TTTT**T
40765TTTT**T
43769TTTT**T
43770TTTT**T
43771TTTT**T
43772TTTT**T
43773TTTT**T
43774TTTT**T
43775TTTT**T
43776TTTT**T
47222TTTT**T
47223TTTT**T
47224TTTT**T
47225TTTT**T
47226TTTT**T
47227TTTT**T
47228TTTT**T
47229TTTT**T
50298TTTT**T
50299TTTT**T
50300TTTT**T
50301TTTT**T
50302TTTT**T
50303TTTT**T
50304TTTT**T
50305TTTT**T
53600TTTT**T
53601TTTT**T
53602TTTT**T
53603TTTT**T
53604TTTT**T
53605TTTT**T
53606TTTT**T
53607TTTT**T
63372TTTT**T
63373TTTT**T
63374TTTT**T
63375TTTT**T
63376TTTT**T
63377TTTT**T
63378TTTT**T
63379TTTT**T
73006TTTT**T
73007TTTT**T
73008TTTT**T
73009TTTT**T
73010TTTT**T
73011TTTT**T
73012TTTT**T
73013TTTT**T
73014TTTT**T
73015TTTT**T
73016TTTT**T
73017TTTT**T
76481TTTT**T
76482TTTT**T
76483TTTT**T
76484TTTT**T
76485TTTT**T
76486TTTT**T
76487TTTT**T
76488TTTT**T
76489TTTT**T
76490TTTT**T
76491TTTT**T
76492TTTT**T
80838TTTT**T
80839TTTT**T
82025TTTT**T
82026TTTT**T
83087TTTT**T
83088TTTT**T
93500TTTT**T
93501TTTT**T
93502TTTT**T
93503TTTT**T
93504TTTT**T
93505TTTT**T
93506TTTT**T
93507TTTT**T
93508TTTT**T
93509TTTT**T
93510TTTT**T
93511TTTT**T
93512TTTT**T
93513TTTT**T
93514TTTT**T
93515TTTT**T
93516TTTT**T
93517TTTT**T
112363TTTT**T
112364TTTT**T
112365TTTT**T
112366TTTT**T
112367TTTT**T
112368TTTT**T
112369TTTT**T
112370TTTT**T
112371TTTT**T
112372TTTT**T
112373TTTT**T
112374TTTT**T
112375TTTT**T
112376TTTT**T
112377TTTT**T
112378TTTT**T
112379TTTT**T
112380TTTT**T
130058TTTT**T
130059TTTT**T
131233TTTT**T
131234TTTT**T
132560TTTT**T
132561TTTT**T

Independent-effect pairs

All 6 conditions live in scry_analyze_core::i32_binop — 6 br_if

← back to scry-mcdc