Value Assertions

CodeLabelSeverity
boe_boe_v0138_h_1boe_v0138_h_1: [FF 02.00.01 (C0010-0020)] {r0630} = +{r0610} - {r0620}ERROR
boe_boe_v0768_m_1boe_v0768_m_1: [FF 01.01.01 (C0010-0020)] {r0380} = {r0010} + {r0050} + {r0096} + {r0100} + {r0141} ...ERROR
boe_boe_v0775_m_1boe_v0775_m_1: [FF 01.02.01 (C0010-0020)] {FF 01.03.01, r0310} = sum({FF 01.02.01, ({r0010}, {r0070} ...ERROR
boe_boe_v0780_m_1boe_v0780_m_1: [FF 01.03.01 (C0010-0020)] {r0300} = {r0010} + {r0040} + {r0050} + {r0080} + {r0090} ...ERROR
boe_boe_v0783_m_1boe_v0783_m_1: [FF 01.03.01 (C0010-0020)] {FF 01.03.01, r0310} = {FF 01.01.01, r0380}ERROR
boe_boe_v0784_m_1boe_v0784_m_1: [FF 01.03.01 (C0010-0020)] {FF 01.03.01, r0300} + {FF 01.02.01, r0300} = {FF 01.01.01 ...ERROR
boe_boe_v0785_m_1boe_v0785_m_1: [FF 01.03.01 (C0010-0020)] {FF 01.03.01, r0310} = {FF 01.03.01, r0300} + {FF 01.02.01 ...ERROR
boe_boe_v0795_m_1boe_v0795_m_1: [FF 02.00.01 (C0010-0020)] {r0610} = {r0010} - {r0090} - {r0150} + {r0160} + {r0200} ...ERROR
boe_boe_v1698_m_1boe_v1698_m_1: [FF 01.02.01 (C0010-0020)] {r0300} = {r0010} + {r0070} + {r0110} + {r0150} + {r0160} ...ERROR
boe_boe_v1699_m_1boe_v1699_m_1: [FF 02.00.01 (C0010-0020)] {r0355} = {r0010} - {r0090} - {r0150} + {r0160} + {r0200} ...ERROR
boe_boe_v2060_s_1boe_v2060_s_1: [FF 01.03.01 (r0240;r0260) (C0010-0020)] {FF 01.03.01} <= 0ERROR
boe_boe_v3899_s_1boe_v3899_s_1: [FF 01.03.01 (r010;r040;r050;r0310) (C0010-0020)] {FF 01.03.01} >= 0ERROR
boe_boe_v3900_s_1boe_v3900_s_1: [FF 02.00.01 (r010;r090;r0150;r0160;r0200;r0210;r0340;r0350;r0360;r0390;r0580) (C0010 ...WARNING