Assertion Set: aset-k206.xml

CodeassertionSet
Locationaset-k206.xml

Referred Assertions

CodeLabelSeverity
dnb_v2063_mc[010, 020, 030, 040, 050, 060, 070, 090, 100-140], K206 : {r040} = sum({r[050, 060, 070]})ERROR
dnb_v2064_mc[010, 020, 030, 040, 050, 060, 070, 090, 100-140], K206 : {r270} = {r110} div {r260}ERROR
dnb_v2065_mc[020, 030, 040, 050, 060, 070, 090, 100-140], K206 : {r180} = sum({r[190-240]})ERROR
dnb_v2070_mK206, c010 : {r110} = sum({r[020, 030, 040, 080, 090, 100]})ERROR
dnb_v2071_mK206, c010 : {r260} = sum({r[130-170, 250]})ERROR
dnb_v2131_mK206 : {c020, r110} = sum({c010, r[020, 080]}) + sum({c020, r[030, 040, 090, 100]})ERROR
dnb_v2132_mK206 : {c030, r110} = sum({c010, r[020, 080]}) + sum({c030, r[030, 040, 090, 100]})ERROR
dnb_v2133_mK206 : {c040, r110} = sum({c010, r[020, 080]}) + sum({c040, r[030, 040, 090, 100]})ERROR
dnb_v2134_mK206 : {c050, r110} = sum({c010, r[020, 080]}) + sum({c050, r[030, 040, 090, 100]})ERROR
dnb_v2135_mK206 : {c060, r110} = sum({c010, r[020, 080]}) + sum({c060, r[030, 040, 090, 100]})ERROR
dnb_v2136_mK206 : {c070, r110} = sum({c010, r[020, 080]}) + sum({c070, r[030, 040, 090, 100]})ERROR
dnb_v2137_mK206 : {c090, r110} = sum({c080, r[010, 020, 080]}) + sum({c090, r[030, 040, 090, 100]})ERROR
dnb_v2138_mK206 : {c100, r110} = sum({c080, r[010, 020, 080]}) + sum({c100, r[030, 040, 090, 100]})ERROR
dnb_v2139_mK206 : {c110, r110} = sum({c080, r[010, 020, 080]}) + sum({c110, r[030, 040, 090, 100]})ERROR
dnb_v2140_mK206 : {c120, r110} = sum({c080, r[010, 020, 080]}) + sum({c120, r[030, 040, 090, 100]})ERROR
dnb_v2141_mK206 : {c130, r110} = sum({c080, r[010, 020, 080]}) + sum({c130, r[030, 040, 090, 100]})ERROR
dnb_v2142_mK206 : {c140, r110} = sum({c080, r[010, 020, 080]}) + sum({c140, r[030, 040, 090, 100]})ERROR
dnb_v2143_mK206 : {c020, r260} = sum({c010, r[130, 170]}) + sum({c020, r[140-160, 180, 250]})ERROR
dnb_v2144_mK206 : {c030, r260} = sum({c010, r[130, 170]}) + sum({c030, r[140-160, 180, 250]})ERROR
dnb_v2145_mK206 : {c040, r260} = sum({c010, r[130, 170]}) + sum({c040, r[140-160, 180, 250]})ERROR
dnb_v2146_mK206 : {c050, r260} = sum({c010, r[130, 170]}) + sum({c050, r[140-160, 180, 250]})ERROR
dnb_v2147_mK206 : {c060, r260} = sum({c010, r[130, 170]}) + sum({c060, r[140-160, 180, 250]})ERROR
dnb_v2148_mK206 : {c070, r260} = sum({c010, r[130, 170]}) + sum({c070, r[140-160, 180, 250]})ERROR
dnb_v2149_mK206 : {c090, r260} = sum({c080, r[120, 130, 170]}) + sum({c090, r[140-160, 180, 250]})ERROR
dnb_v2150_mK206 : {c100, r260} = sum({c080, r[120, 130, 170]}) + sum({c100, r[140-160, 180, 250]})ERROR
dnb_v2151_mK206 : {c110, r260} = sum({c080, r[120, 130, 170]}) + sum({c110, r[140-160, 180, 250]})ERROR
dnb_v2152_mK206 : {c120, r260} = sum({c080, r[120, 130, 170]}) + sum({c120, r[140-160, 180, 250]})ERROR
dnb_v2153_mK206 : {c130, r260} = sum({c080, r[120, 130, 170]}) + sum({c130, r[140-160, 180, 250]})ERROR
dnb_v2154_mK206 : {c140, r260} = sum({c080, r[120, 130, 170]}) + sum({c140, r[140-160, 180, 250]})ERROR