Value Assertions

CodeLabelSeverity
boe_boe_v0172_m_2boe_v0172_m_2: [CP 01.02 (c020-100)] {r020} = {r030} + {r130} + {r180} + {r200} + {r210} + {r220} + ...ERROR
boe_boe_v0177_m_2boe_v0177_m_2: [CP 01.02 (c020-100)] {r250} = {r260} + {r270} + {r280} + {r285} + {r290}ERROR
boe_boe_v0181_m_2boe_v0181_m_2: [CP 01.02 (c020-100)] {r440} = -{r740}ERROR
boe_boe_v0182_m_2boe_v0182_m_2: [CP 01.02 (c020-100)] {r530} = {r540} + {r660} + {r670} + {r680} + {r690} + {r700} + ...ERROR
boe_boe_v0185_m_2boe_v0185_m_2: [CP 01.02 (c020-100)] {r720} = -{r970}ERROR
boe_boe_v0204_m_2boe_v0204_m_2: [CP 02.02 (c020-100)] {r010} = {r040} + {r490} + {r520} + {r590} + {r630} + {r640} + ...ERROR
boe_boe_v0205_m_2boe_v0205_m_2: [CP 02.02 (c020-100)] {r040} = {r050} + {r240} + {r460}ERROR
boe_boe_v0216_m_2boe_v0216_m_2: [CP 02.02 (c020-100)] {r690} >= {r710} + {r750} + {r760}ERROR
boe_boe_v0217_m_2boe_v0217_m_2: [CP 02.02 (c020-100)] {r710} >= {r720} + {r730} + {r740}ERROR
boe_boe_v3685_s_2boe_v3685_s_2: [CP 01.02 (r170;r260;r290;r300;r340;r370;r380;r390;r430;r440;r450;r460;r470;r471;r472 ...ERROR
boe_boe_v3686_s_2boe_v3686_s_2: [CP 02.02 (r010;r040;r050;r240;r460;r490;r520;r530;r580;r590;r630;r640;r680;r690;r710 ...ERROR
boe_boe_v3689_s_2boe_v3689_s_2: [CP 05.02 (r010) (c020-100)] {{CP 05.02}} >= 0ERROR
boe_boe_v4738_h_2boe_v4738_h_2: [CP 02.02 (c020-100)] {r520} = {r580} + {r530}ERROR