Value Assertions

CodeLabelSeverity
cbi_v0001_mv0001_m: [CEP (r1-2.14)] {c001} = sum(c002-003)ERROR
cbi_v0002_mv0002_m: [CEP (r1-2.14)] {c002} = sum(c004-007)ERROR
cbi_v0003_mv0003_m: [CEP (r1-1.19)] {c008} = sum(c009-012)ERROR
cbi_v0004_mv0004_m: [CEP (c1-12)] {r1} = {r1.1} + {r1.2} + {r1.3} + {r1.4} + {r1.5} + {r1.6} + {r1.7} + {r1.8} ...ERROR
cbi_v0005_mv0005_m: [CEP (c1-12)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0006_mv0006_m: [CEP (c1-12)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0007_mv0007_m: [CEP (c1-12)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0008_mv0008_m: [CEP (c1-12)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0009_mv0009_m: [CEP (c1-2)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0010_mv0010_m: [CEP (c1-12)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0011_mv0011_m: [CEP (c1-7)] {r2} = sum(r2.1-2.14)ERROR
cbi_v0012_mv0012_m: [CEP (c1;c4;c5;c6;c7)] {r3} = sum(r3.1-3.8)ERROR
cbi_v0013_mv0013_m: [NWL (r1-1.19)] {c1} = sum(c2-5)ERROR
cbi_v0014_mv0014_m: [NWL (r1-1.19)] {c6} = sum(c7-10)ERROR
cbi_v0015_mv0015_m: [NWL (r1-1.19)] {c11} = sum(c12-15)ERROR
cbi_v0016_mv0016_m: [NWL (c1-15)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0017_mv0017_m: [NWL (c1-15)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0018_mv0018_m: [NWL (c1-15)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0019_mv0019_m: [NWL (c1-15)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0020_mv0020_m: [NWL (c1-15)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0021_mv0021_m: [NWL (c1-15)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0022_mv0022_m: [NWL (c1-15)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0023_mv0023_m: [CQL_ARR (r1-4)] {c1} = sum(c2-5)ERROR
cbi_v0024_mv0024_m: [CQL_ARR (c1-5)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0025_mv0025_m: [CQL_ARR (c1-5)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0026_mv0026_m: [CQL_ARR (c1-5)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0027_mv0027_m: [CQL_ARR (c1-5)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0028_mv0028_m: [CQL_ARR (c1-5)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0029_mv0029_m: [CQL_ARR (c1-5)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0030_mv0030_m: [CQL_ARR (c1-5)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0031_mv0031_m: [CQL_ARR (c1-5)] {r4} = sum(r1-3)ERROR
cbi_v0032_mv0032_m: [CQL_CRD (r1-1.19, r2-4)] {c1} = sum(c2-5)ERROR
cbi_v0033_mv0033_m: [CQL_CRD (c1-5)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0034_mv0034_m: [CQL_CRD (c1-5)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0035_mv0035_m: [CQL_CRD (c1-5)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0036_mv0036_m: [CQL_CRD (c1-5)] {r1.10} = sum(r1.10.1-1.10.19)ERROR
cbi_v0037_mv0037_m: [CQL_CRD (c1-5)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0038_mv0038_m: [CQL_CRD (c1-5)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0039_mv0039_m: [CQL_CRD (c1-5)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0040_mv0040_m: [CQL_CRD (c1-5)] {r4} = sum(r1-3)ERROR
cbi_v0041_mv0041_m: [CQL_TER (r1-1.19)] {c1} = sum(c2-5)ERROR
cbi_v0042_mv0042_m: [CQL_TER (c1-5)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0043_mv0043_m: [CQL_TER (c1-5)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0044_mv0044_m: [CQL_TER (c1-5)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0045_mv0045_m: [CQL_TER (c1-5)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0046_mv0046_m: [CQL_TER (c1-5)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0047_mv0047_m: [CQL_TER (c1-5)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0048_mv0048_m: [CQL_TER (c1-5)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0049_mv0049_m: [CQL_STA (r1-1.19)] {c1} = sum(c2-5)ERROR
cbi_v0050_mv0050_m: [CQL_STA (c1-5)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0051_mv0051_m: [CQL_STA (c1-5)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0052_mv0052_m: [CQL_STA (c1-5)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0053_mv0053_m: [CQL_STA (c1-5)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0054_mv0054_m: [CQL_STA (c1-5)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0055_mv0055_m: [CQL_STA (c1-5)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0056_mv0056_m: [CQL_STA (c1-5)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0057_mv0057_m: [CQL_TOT (c1)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0058_mv0058_m: [CQL_TOT (c1)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0059_mv0059_m: [CQL_TOT (c1)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0060_mv0060_m: [CQL_TOT (c1)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0061_mv0061_m: [CQL_TOT (c1)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0062_mv0062_m: [CQL_TOT (c1)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0063_mv0064_m: [CQL_TOT (c1)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0064_mv0064_m: {CQL_TOT, c1} = {CQL_STA, c1, [STA=cbi_ST:x1]} + {CQL_STA, c1, [STA=cbi_ST:x2]} + {CQL_STA, ...ERROR
cbi_v0065_mv0065_m: [IMP_STA (r1-1.19)] {c1} = sum(c2-5)ERROR
cbi_v0066_mv0066_m: [IMP_STA (c1-5)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0067_mv0067_m: [IMP_STA (c1-5)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0068_mv0068_m: [IMP_STA (c1-5)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0069_mv0069_m: [IMP_STA (c1-5)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0070_mv0070_m: [IMP_STA (c1-5)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0071_mv0071_m: [IMP_STA (c1-5)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0072_mv0072_m: [IMP_STA (c1-5)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0073_mv0073_m: [IMP_STA (c1-5)] {r4} = sum(r1-3)ERROR
cbi_v0074_mv0074_m: [IMP_TOT (c1-5)] {r1} = sum(r1.1-1.19)ERROR
cbi_v0075_mv0075_m: [IMP_TOT (c1-5)] {r1.5} = sum(r1.5.1-1.5.3)ERROR
cbi_v0076_mv0076_m: [IMP_TOT (c1-5)] {r1.8} = sum(r1.8.1-1.8.4)ERROR
cbi_v0077_mv0077_m: [IMP_TOT (c1-5)] {r1.10} = sum(r1.10.1-1.10.9)ERROR
cbi_v0078_mv0078_m: [IMP_TOT (c1-5)] {r1.11} = sum(r1.11.1-1.11.16)ERROR
cbi_v0079_mv0079_m: [IMP_TOT (c1-5)] {r1.16} = sum(r1.16.1-1.16.3)ERROR
cbi_v0080_mv0080_m: [IMP_TOT (c1-5)] {r1.16.1} = sum(r1.16.1.1-1.16.1.4)ERROR
cbi_v0081_mv0081_m: [IMP_TOT (c1-5)] {r4} = sum(r1-3)ERROR
cbi_v0082_mv0082_m: {IMP_TOT, c1} = {IMP_STA, c1, [STA=cbi_ST:x1]} + {IMP_STA, c1, [STA=cbi_ST:x2]} + {IMP_STA, ...ERROR
cbi_v0083_mv0083_m: [RSM_LTV (r1-11d)] {c1} = sum(c2-5)ERROR
cbi_v0084_mv0084_m: [RSM_LTV (c1-5)] {r1} = sum(r1.1-1.3)ERROR
cbi_v0085_mv0085_m: [RSM_LTV (c1-5)] {r2} = sum(r2.1-2.3)ERROR
cbi_v0086_mv0086_m: [RSM_LTV (c1-5)] {r3} = sum(r3.1-3.3)ERROR
cbi_v0087_mv0087_m: [RSM_LTV (c1-5)] {r4} = sum(r4.1-4.3)ERROR
cbi_v0088_mv0088_m: [RSM_LTV (c1-5)] {r5} = sum(r5.1-5.3)ERROR
cbi_v0089_mv0089_m: [RSM_LTV (c1-5)] {r6} = sum(r6.1-6.3)ERROR
cbi_v0090_mv0090_m: [RSM_LTV (c1-5)] {r7} = sum(r7.1-7.3)ERROR
cbi_v0091_mv0091_m: [RSM_LTV (c1-5)] {r8} = sum(r8.1-8.3)ERROR
cbi_v0092_mv0092_m: [RSM_LTV (c1-5)] {r9} = sum(r9.1-9.3)ERROR
cbi_v0093_iv0093_i: [RSM_LTV (c1-5)] {r10} = sum(r10.1-10.3)ERROR
cbi_v0094_iv0094_i: [RSM_LTV (c1-5)] {r11} = sum(r11.1-11.3)ERROR
cbi_v0095_mv0095_m: [RSM_TOT (r1-8)] {c1} = sum(c2-3)ERROR
cbi_v0096_mv0096_m: [RSM_TOT (c1-5)] {r1} = sum(1.1-1.3)ERROR
cbi_v0097_mv0097_m: [RSM_TOT (c1-5)] {r2} = sum(r2.1-2.3)ERROR
cbi_v0098_mv0098_m: [RSM_TOT (c1-5)] {r3} = sum(r3.1-3.3)ERROR
cbi_v0099_mv0099_m: [RSM_TOT (c1-5)] {r4} = sum(r4.1-4.3)ERROR
cbi_v0100_mv0100_m: [RSM_TOT (c1-5)] {r5} = sum(r5.1-5.3)ERROR
cbi_v0101_mv0101_m: [RSM_TOT (c1-5)] {r6} = sum(r6.1-6.3)ERROR
cbi_v0102_mv0102_m: [RSM_TOT (c1-5)] {r7} = sum(r7.1-7.3)ERROR
cbi_v0103_mv0103_m: [RSM_TOT (c1-5)] {r8} = sum(r8.1-8.3)ERROR
cbi_v0104_mv0104_m: [RSM_TOT (c1)] {r9} = sum(r9.1-9.3)ERROR
cbi_v0105_iv0105_i: [RSM_TOT (c1)] {r10} = sum(r10.1-10.3)ERROR
cbi_v0106_iv0106_i: [RSM_TOT (c1)] {r11} = sum(r11.1-11.3)ERROR
cbi_v0107_mv0107_m: {RSM_TOT, c2, r1-8d} = {RSM_LTV, c1, r1-8d, [LTV=cbi_LO:x3]}ERROR
cbi_v0108_mv0108_m: {RSM_TOT, c1, r9-9d} = {RSM_LTV, c1, r9-9d, [LTV=cbi_LO:x3]}ERROR
cbi_v0109_iv0109_i: {RSM_TOT, c1, r10-11d} = {RSM_LTV, c1, r10-11d, [LTV=cbi_LO:x3]}ERROR
cbi_v0110_mv0110_m: [RIP_LTV (r1-11d)] {c1} = sum(c2-5)ERROR
cbi_v0111_mv0111_m: [RIP_LTV (c1-5)] {r1} = sum(r1.1-1.3)ERROR
cbi_v0112_mv0112_m: [RIP_LTV (c1-5)] {r2} = sum(r2.1-2.3)ERROR
cbi_v0113_mv0113_m: [RIP_LTV (c1-5)] {r3} = sum(r3.1-3.3)ERROR
cbi_v0114_mv0114_m: [RIP_LTV (c1-5)] {r4} = sum(r4.1-4.3)ERROR
cbi_v0115_mv0115_m: [RIP_LTV (c1-5)] {r5} = sum(r5.1-5.3)ERROR
cbi_v0116_mv0116_m: [RIP_LTV (c1-5)] {r6} = sum(r6.1-6.3)ERROR
cbi_v0117_mv0117_m: [RIP_LTV (c1-5)] {r7} = sum(r7.1-7.3)ERROR
cbi_v0118_mv0118_m: [RIP_LTV (c1-5)] {r8} = sum(r8.1-8.3)ERROR
cbi_v0119_mv0119_m: [RIP_LTV (c1-5)] {r9} = sum(r9.1-9.3)ERROR
cbi_v0120_iv0120_i: [RIP_LTV (c1-5)] {r10} = sum(r10.1-10.3)ERROR
cbi_v0121_iv0121_i: [RIP_LTV (c1-5)] {r11} = sum(r11.1-11.3)ERROR
cbi_v0122_mv0122_m: [RIP_TOT (r1-8d)] {c1} = sum(c2-3)ERROR
cbi_v0123_mv0123_m: [RIP_TOT (c1-5)] {r1} = sum(1.1-1.3)ERROR
cbi_v0124_mv0124_m: [RIP_TOT (c1-5)] {r2} = sum(r2.1-2.3)ERROR
cbi_v0125_mv0125_m: [RIP_TOT (c1-5)] {r3} = sum(r3.1-3.3)ERROR
cbi_v0126_mv0126_m: [RIP_TOT (c1-5)] {r4} = sum(r4.1-4.3)ERROR
cbi_v0127_mv0127_m: [RIP_TOT (c1-5)] {r5} = sum(r5.1-5.3)ERROR
cbi_v0128_mv0128_m: [RIP_TOT (c1-5)] {r6} = sum(r6.1-6.3)ERROR
cbi_v0129_mv0129_m: [RIP_TOT (c1-5)] {r7} = sum(r7.1-7.3)ERROR
cbi_v0130_mv0130_m: [RIP_TOT (c1-5)] {r8} = sum(r8.1-8.3)ERROR
cbi_v0131_mv0131_m: [RIP_TOT (c1)] {r9} = sum(r9.1-9.3)ERROR
cbi_v0132_iv0132_i: [RIP_TOT (c1)] {r10} = sum(r10.1-10.3)ERROR
cbi_v0133_iv0133_i: [RIP_TOT (c1)] {r11} = sum(r11.1-11.3)ERROR
cbi_v0134_mv0134_m: {RIP_TOT, c2, r1-8d} = {RIP_LTV, c1, r1-8d, [LTV=cbi_LO:x3]}ERROR
cbi_v0135_mv0135_m: {RIP_TOT, c1, r9-9d} = {RIP_LTV, c1, r9-9d, [LTV=cbi_LO:x3]}ERROR
cbi_v0136_iv0136_i: {RIP_TOT, c1, r10-11d} = {RIP_LTV, c1, r10-11d, [LTV=cbi_LO:x3]}ERROR