Value Assertions

CodeLabelSeverity
boe_boe_v0108_h_1boe_v0108_h_1: [CP 04.01 (c010)] {r070} = {r080} + {r090}ERROR
boe_boe_v0128_h_1boe_v0128_h_1: [CP 04.01 (c010)] {r010} = {r020} + {r030} + {r040}ERROR
boe_boe_v0150_h_1boe_v0150_h_1: [CP 02.01 (c010)] {r490} = {r500} + {r510}ERROR
boe_boe_v0172_m_1boe_v0172_m_1: [CP 01.01 (c010-100)] {r020} = {r030} + {r130} + {r180} + {r200} + {r210} + {r220} + ...ERROR
boe_boe_v0173_m_1boe_v0173_m_1: [CP 01.01 (c010)] {r030} = {r040} + {r060} + {r070} + {r092}ERROR
boe_boe_v0177_m_1boe_v0177_m_1: [CP 01.01 (c010-100)] {r250} = {r260} + {r270} + {r280} + {r285} + {r290}ERROR
boe_boe_v0181_m_1boe_v0181_m_1: [CP 01.01 (c010-100)] {r440} = -{r740}ERROR
boe_boe_v0182_m_1boe_v0182_m_1: [CP 01.01 (c010-100)] {r530} = {r540} + {r660} + {r670} + {r680} + {r690} + {r700} + ...ERROR
boe_boe_v0183_m_1boe_v0183_m_1: [CP 01.01 (c010)] {r540} = {r550} + {r570} + {r580} + {r622}ERROR
boe_boe_v0185_m_1boe_v0185_m_1: [CP 01.01 (c010-100)] {r720} = -{r970}ERROR
boe_boe_v0187_m_1boe_v0187_m_1: [CP 01.01 (c010)] {r760} = {r770} + {r790} + {r800} + {r842}ERROR
boe_boe_v0204_m_1boe_v0204_m_1: [CP 02.01 (c010-100)] {r010} = {r040} + {r490} + {r520} + {r590} + {r630} + {r640} + ...ERROR
boe_boe_v0205_m_1boe_v0205_m_1: [CP 02.01 (c010-100)] {r040} = {r050} + {r240} + {r460}ERROR
boe_boe_v0206_m_1boe_v0206_m_1: [CP 02.01 (c010)] {r050} = {r060} + {r220}ERROR
boe_boe_v0207_m_1boe_v0207_m_1: [CP 02.01 (c010)] {r060} = {r070} + {r080} + {r090} + {r100} + {r110} + {r120} + {r13 ...ERROR
boe_boe_v0208_m_1boe_v0208_m_1: [CP 02.01 (c010)] {r220} >= {r230}ERROR
boe_boe_v0209_m_1boe_v0209_m_1: [CP 02.01 (c010)] {r240} = {r250} + {r310} + {r420} + {r430} + {r450}ERROR
boe_boe_v0210_m_1boe_v0210_m_1: [CP 02.01 (c010)] {r250} = {r260} + {r270} + {r280} + {r290} + {r300}ERROR
boe_boe_v0211_m_1boe_v0211_m_1: [CP 02.01 (c010)] {r310} = {r320} + {r330} + {r340} + {r350} + {r360} + {r370} + {r38 ...ERROR
boe_boe_v0212_m_1boe_v0212_m_1: [CP 02.01 (c010)] {r430} >= {r440}ERROR
boe_boe_v0214_m_1boe_v0214_m_1: [CP 02.01 (c010)] {r590} = {r600} + {r610} + {r620}ERROR
boe_boe_v0215_m_1boe_v0215_m_1: [CP 02.01 (c010)] {r640} = {r650} + {r660} + {r670}ERROR
boe_boe_v0216_m_1boe_v0216_m_1: [CP 02.01 (c010-100)] {r690} >= {r710} + {r750} + {r760}ERROR
boe_boe_v0217_m_1boe_v0217_m_1: [CP 02.01 (c010-100)] {r710} >= {r720} + {r730} + {r740}ERROR
boe_boe_v0224_m_1boe_v0224_m_1: [CP 04.01 (c010)] {r050} = {r060} + {r070}ERROR
boe_boe_v0225_m_1boe_v0225_m_1: [CP 04.01 (c010)] {r100} = {r110} - {r140}ERROR
boe_boe_v0226_m_1boe_v0226_m_1: [CP 04.01 (c010)] {r110} = {r120} + {r130} + {r131}ERROR
boe_boe_v0227_m_1boe_v0227_m_1: [CP 04.01 (c010)] {r230} = {r240} + {r270} + {r291}ERROR
boe_boe_v0228_m_1boe_v0228_m_1: [CP 04.01 (c010)] {r240} = {r250} + {r260}ERROR
boe_boe_v0229_m_1boe_v0229_m_1: [CP 04.01 (c010)] {r270} = {r280} + {r290}ERROR
boe_boe_v0230_m_1boe_v0230_m_1: [CP 04.01 (c010)] {r291} = {r292} + {r293}ERROR
boe_boe_v0231_m_1boe_v0231_m_1: [CP 04.01 (c010)] {r300} = {r310} + {r340} + {r361}ERROR
boe_boe_v0232_m_1boe_v0232_m_1: [CP 04.01 (c010)] {r310} = {r320} + {r330}ERROR
boe_boe_v0233_m_1boe_v0233_m_1: [CP 04.01 (c010)] {r340} = {r350} + {r360}ERROR
boe_boe_v0234_m_1boe_v0234_m_1: [CP 04.01 (c010)] {r361} = {r362} + {r363}ERROR
boe_boe_v0235_m_1boe_v0235_m_1: [CP 04.01 (c010)] {r370} = {r380} + {r410} + {r431}ERROR
boe_boe_v0236_m_1boe_v0236_m_1: [CP 04.01 (c010)] {r380} = {r390} + {r400}ERROR
boe_boe_v0237_m_1boe_v0237_m_1: [CP 04.01 (c010)] {r410} = {r420} + {r430}ERROR
boe_boe_v0238_m_1boe_v0238_m_1: [CP 04.01 (c010)] {r431} = {r432} + {r433}ERROR
boe_boe_v0251_m_1boe_v0251_m_1: [CP 04.01 (c010)] {r145} = {r150} - {r155}ERROR
boe_boe_v2034_s_1boe_v2034_s_1: [CP 04.01 (r260;r290;r293;r330;r360;r363;r400;r430;r433) (c010)] {{CP 04.01}} <= 0ERROR
boe_boe_v3685_s_1boe_v3685_s_1: [CP 01.01 (r070;r092;r170;r260;r290;r300;r340;r370;r380;r390;r430;r440;r450;r460;r470 ...ERROR
boe_boe_v3686_s_1boe_v3686_s_1: [CP 02.01 (r010;r040;r050;r060;r070;r080;r090;r100;r110;r120;r130;r140;r150;r160;r170 ...ERROR
boe_boe_v3689_s_1boe_v3689_s_1: [CP 05.01 (r010) (c010-100)] {{CP 05.01}} >= 0ERROR
boe_boe_v4738_h_1boe_v4738_h_1: [CP 02.01 (c010-100)] {r520} = {r580} + {r530}ERROR