Value Assertions

CodeLabelSeverity
boe_boe_b1033_sboe_b1033_s: [SR 807.01.07 (r010), (c040,c050,c080-130)] {SR 807.01.07} >= 0ERROR
boe_boe_b1034_mboe_b1034_m: [SR 807.01.07 (r010)] {c030} >= {c020}ERROR
boe_boe_b1035_mboe_b1035_m: [SR 807.01.07 (r010)] {c050} >= {c040}ERROR
boe_boe_b1036_mboe_b1036_m: [SR 807.01.07 (r010)] {c070} >= {c060}ERROR
boe_boe_b1037_mboe_b1037_m: [SR 807.01.07 (r010)] {c090} >= {c080}ERROR
boe_boe_b1038_mboe_b1038_m: [SR 807.01.07 (r010)] {c110} >= {c100}ERROR
boe_boe_b1039_mboe_b1039_m: [SR 807.01.07 (r010)] {c130} >= {c120}ERROR
boe_boe_b1040_mboe_b1040_m: [SR 807.01.07, SR 807.02.07 (All rows)] {SR 807.01.07, c020}= sum({SR 807.02.07, c070, ...ERROR
boe_boe_b1041_mboe_b1041_m: [SR 807.01.07, SR 807.02.07 (All rows)] {SR 807.01.07, c030} = sum({SR 807.02.07, c080, ...ERROR
boe_boe_b1042_mboe_b1042_m: [SR 807.01.07, SR 807.02.07 (All rows)] {SR 807.01.07, c040} = sum({SR 807.02.07, c090, ...ERROR
boe_boe_b1043_mboe_b1043_m: [SR 807.01.07, SR 807.02.07 (All rows)] {SR 807.01.07, c050} = sum({SR 807.02.07, c100, ...ERROR
boe_boe_b1044_mboe_b1044_m: [SR 807.01.07, SR 807.03.07 (All rows)] {SR 807.01.07, c060}= sum({SR 807.03.07, c040, ...ERROR
boe_boe_b1045_mboe_b1045_m: [SR 807.01.07, SR 807.03.07 (All rows)] {SR 807.01.07, c070} = sum({SR 807.03.07, c050, ...ERROR
boe_boe_b1046_mboe_b1046_m: [SR 807.01.07, SR 807.03.07 (All rows)] {SR 807.01.07, c080}= sum({SR 807.03.07, c060, ...ERROR
boe_boe_b1047_mboe_b1047_m: [SR 807.01.07, SR 807.03.07 (All rows)] {SR 807.01.07, c090} = sum({SR 807.03.07, c070, ...ERROR
boe_boe_b1048_mboe_b1048_m: [SR 807.01.07, SR 807.04.07 (All rows)] {SR 807.01.07, c100} = sum({SR 807.04.07, c040, ...ERROR
boe_boe_b1049_mboe_b1049_m: [SR 807.01.07, SR 807.04.07 (All rows)] {SR 807.01.07, c110} = sum({SR 807.04.07, c050, ...ERROR
boe_boe_b1050_mboe_b1050_m: [SR 807.01.07, SR 807.04.07 (All rows)] {SR 807.01.07, c120} = sum({SR 807.04.07, c060, ...ERROR
boe_boe_b1051_mboe_b1051_m: [SR 807.01.07, SR 807.04.07 (All rows)] {SR 807.01.07, c130} = sum({SR 807.04.07, c070, ...ERROR
boe_boe_b1052_mboe_b1052_m: [SR 807.01.07, SR 807.04.07 (All rows)] {SR 807.01.07, c140}= sum({SR 807.04.07, c080, ...ERROR
boe_boe_b1054_sboe_b1054_s: [SR 807.01.07 (r015), (c020-130)] {SR 807.01.07} >= 0ERROR
boe_boe_b1055_mboe_b1055_m: [SR 807.01.07 (r015)] {c030} >= {c020}ERROR
boe_boe_b1056_mboe_b1056_m: [SR 807.01.07 (r015)] {c050} >= {c040}ERROR
boe_boe_b1057_mboe_b1057_m: [SR 807.01.07 (r015)] {c070} >= {c060}ERROR
boe_boe_b1058_mboe_b1058_m: [SR 807.01.07 (r015)] {c090} >= {c080}ERROR
boe_boe_b1059_mboe_b1059_m: [SR 807.01.07 (r015)] {c110} >= {c100}ERROR
boe_boe_b1060_mboe_b1060_m: [SR 807.01.07 (r015)] {c130} >= {c120}ERROR
boe_boe_b1062_mboe_b1062_m: [SR 807.02.07 (All rows)] {c080} >= {c070}ERROR
boe_boe_b1063_mboe_b1063_m: [SR 807.02.07 (All rows)] {c100} >= {c090}ERROR
boe_boe_b1064_sboe_b1064_s: [SR 807.02.07 (All rows), (c070-100)] {SR 807.02.07} >= 0ERROR
boe_boe_b1066_mboe_b1066_m: [SR 807.03.07 (All rows)] {c050} >= {c040}ERROR
boe_boe_b1067_mboe_b1067_m: [SR 807.03.07 (All rows)] {c070} >= {c060}ERROR
boe_boe_b1068_sboe_b1068_s: [SR 807.03.07 (All rows), (c040-070)] {SR 807.03.07} >= 0ERROR
boe_boe_b1070_mboe_b1070_m: [SR 807.04.07] {c050} >= {c040}ERROR
boe_boe_b1071_sboe_b1071_s: [SR 807.04.07 (All rows), (c040-070)] {SR 807.04.07} >= 0ERROR
boe_boe_b1072_mboe_b1072_m: [SR 807.04.07] {c070} >= {c060}ERROR
boe_boe_b1127_aboe_b1127_a: [SR 807.02.07 (All rows), (c040)] [ei6017] ∈ {[boe_eba_CT:x6004], [boe_eba_CT:x6004]}ERROR
boe_boe_b1128_aboe_b1128_a: [SR 807.02.07 (All rows), (c050)] [ei6018] ∈ {[boe_eba_ZZ:x6001], [boe_eba_ZZ:x6002], [ ...ERROR
boe_boe_b1129_mboe_b1129_m: [SR 807.02.07 (All rows), (c050)] If {c040} = [boe_eba_CT:x6004] then empty({c050})ERROR
boe_boe_b1130_mboe_b1130_m: [SR 807.02.07 (All rows), (c060)] If {c040} = [boe_eba_CT:x6004] then empty({c060})ERROR
boe_boe_b1131_aboe_b1131_a: [SR 807.03.07 (All rows), (c030)] [ei6019] ∈ {[boe_eba_CT:x6004}], [boe_eba_CT:x6005]}ERROR
boe_boe_b1132_aboe_b1132_a: [SR 807.04.07 (All rows), (c030)] [ei6020] ∈ {[boe_eba_CT:x6004], [boe_eba_CT:x6005]}ERROR
boe_boe_b1149_sboe_b1149_s: [SR 807.01.07 (r010), (c020,c030,c060,c070)] {SR 807.01.07} >= 0ERROR
boe_boe_b1150_tboe_b1150_t: [SR 99.01.01] empty({c050})ERROR
boe_boe_b1151_tboe_b1151_t: [SR 99.01.01] empty({c060})ERROR
boe_boe_b1152_tboe_b1152_t: [SR 99.01.01] empty({c070})ERROR
boe_boe_b1153_tboe_b1153_t: [SR 99.01.01] empty({c080})ERROR
boe_boe_b1154_tboe_b1154_t: [SR 99.01.01] empty({c090})ERROR
boe_boe_b1155_tboe_b1155_t: [SR 99.01.01] empty({c100})ERROR
boe_boe_b1156_tboe_b1156_t: [SR 99.01.01] empty({c110})ERROR