Assertion Set: aset-sr801.02.01.01_sr801.04.01.01.xml

CodeassertionSet
Locationaset-sr801.02.01.01_sr801.04.01.01.xml

Referred Assertions

CodeLabelSeverity
boe_boe_b1001_mboe_b1001_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r010-050, c010}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1002_mboe_b1002_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r060-070, c010}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1003_mboe_b1003_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r080-110, c010}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1004_mboe_b1004_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r120-160, c010}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1005_mboe_b1005_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r170-190, c010}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1006_mboe_b1006_m: [SR 801.04.01, SR 801.02.01] {SR 801.04.01, r200, c010} = sum({SR 801.02.01, c110, (rNN ...ERROR
boe_boe_b1007_mboe_b1007_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r010-050, c020}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1008_mboe_b1008_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r060-070, c020}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1009_mboe_b1009_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r080-110, c020}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1010_mboe_b1010_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r120-160, c020}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1011_mboe_b1011_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r170-190, c020}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1012_mboe_b1012_m: [SR 801.04.01, SR 801.02.01] {SR 801.04.01, r200, c020} = sum({SR 801.02.01, c170, (rNN ...ERROR
boe_boe_b1013_mboe_b1013_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r010-050, c030}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1014_mboe_b1014_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r060-070, c030}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1015_mboe_b1015_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r080-110, c030}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1016_mboe_b1016_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r120-160, c030}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1017_mboe_b1017_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r170-190, c030}) = sum({SR 801.02.01, c ...ERROR
boe_boe_b1018_mboe_b1018_m: [SR 801.04.01, SR 801.02.01] {SR 801.04.01, r200, c030} = sum({SR 801.02.01, c290, (rNN ...ERROR
boe_boe_b1019_mboe_b1019_m: [SR 801.04.01, SR 801.02.01] sum({SR 801.04.01, r010-200, c040}) = sum({SR 801.02.01, c ...ERROR