Value Assertions

CodeLabelSeverity
boi_v100001_fERROR
boi_v53105_c_fERROR
boi_v53106_c_fERROR
boi_v53107_c_fERROR
boi_v53108_c_fERROR
boi_v53109_c_fERROR
boi_v53110_c_fERROR
boi_v53111_c_fERROR
boi_v53112_c_fERROR
boi_v53113_c_fERROR
boi_v53114_c_fERROR
boi_v53115_c_fERROR
boi_v53116_c_fERROR
boi_v53117_c_fERROR
boi_v53118_c_fERROR
boi_v531191_v_wERROR
boi_v53119_v_wERROR
boi_v531201_v_wERROR
boi_v53120_v_wERROR
boi_v531211_v_wERROR
boi_v531212_v_wERROR
boi_v531213_v_wERROR
boi_v531214_v_wERROR
boi_v531215_v_wERROR
boi_v531216_v_wERROR
boi_v531217_v_wERROR
boi_v531218_v_wERROR
boi_v531219_v_wERROR
boi_v53121_v_wERROR
boi_v531220_v_wERROR
boi_v531222_c_fERROR
boi_v53122_v_wERROR
boi_v531231_v_wERROR
boi_v53123_v_wERROR
boi_v531241_v_wERROR
boi_v53124_v_wERROR
boi_v531251_v_wERROR
boi_v531261_v_wERROR
boi_v531271_v_wERROR
boi_v53127_v_wERROR
boi_v531281_v_wERROR
boi_v53128_v_wERROR
boi_v531291_v_wERROR
boi_v531301_v_wERROR
boi_v531311_v_wERROR
boi_v531321_v_wERROR
boi_v531331_v_wERROR
boi_v53133_v_wERROR
boi_v531341_v_wERROR
boi_v53134_v_wERROR
boi_v53135_v_wERROR
boi_v53136_v_wERROR
boi_v53137_v_wERROR
boi_v53138_v_wERROR
boi_v53139_v_wERROR
boi_v53140_v_wERROR
boi_v53141_v_wERROR
boi_v53142_v_wERROR
boi_v53143_v_wERROR
boi_v53144_v_wERROR
boi_v53145_v_wERROR
boi_v53146_v_wERROR
boi_v53147_v_wERROR
boi_v53148_v_wERROR
boi_v531491_v_wERROR
boi_v53149_v_wERROR
boi_v531501_v_wERROR
boi_v53150_v_wERROR
boi_v531511_v_wERROR
boi_v53151_v_wERROR
boi_v53152_v_wERROR
boi_v53153_v_wERROR
boi_v53154_v_wERROR
boi_v53155_v_wERROR
boi_v531571_v_wERROR
boi_v53157_v_wERROR
boi_v531581_v_wERROR
boi_v53158_v_wERROR
boi_v531591_v_wERROR
boi_v53159_v_wERROR
boi_v531601_v_wERROR
boi_v531602_v_wERROR
boi_v531603_v_wERROR
boi_v531604_v_wERROR
boi_v531605_v_wERROR
boi_v531606_v_wERROR
boi_v5316071_v_wERROR
boi_v531607_v_wERROR
boi_v531609_v_fERROR
boi_v53160_v_wERROR
boi_v531611_v_wERROR
boi_v531614_v_wERROR
boi_v531615_v_wERROR
boi_v531616_v_wERROR
boi_v531617_v_wERROR
boi_v53161_v_wERROR
boi_v531621_v_wERROR
boi_v53162_v_wERROR
boi_v53163_v_wERROR
boi_v53164_v_wERROR
boi_v53165_v_wERROR
boi_v531661_v_wERROR
boi_v53166_v_wERROR
boi_v53168_v_wERROR
boi_v53169_c_fERROR
boi_v53170_c_fERROR
boi_v53171_c_fERROR
boi_v53172_c_fERROR
boi_v53173_c_fERROR
boi_v53174_c_fERROR
boi_v53175_c_fERROR
boi_v53176_c_fERROR
boi_v531781_c_fERROR
boi_v53178_c_fERROR
boi_v53179_c_fERROR
boi_v53180_c_fERROR
boi_v53181_c_fERROR
boi_v53182_c_fERROR
boi_v53183_c_fERROR
boi_v53184_c_fERROR
boi_v53185_c_fERROR
boi_v53186_c_fERROR
boi_v53187_c_fERROR
boi_v53188_c_fERROR
boi_v53189_c_fERROR
boi_v53190_c_fERROR
boi_v53191_c_fERROR
boi_v53192_c_fERROR
boi_v53193_c_fERROR
boi_v53194_c_fERROR
boi_v53195_v_wERROR
boi_v53196_v_wERROR
boi_v53197_v_wERROR
boi_v53198_v_wERROR
boi_v53199_v_wERROR
boi_v53200_v_wERROR
boi_v53201_v_wERROR
boi_v53202_v_wERROR
boi_v53203_v_wERROR
boi_v53204_v_wERROR
boi_v53205_v_wERROR
boi_v53206_v_wERROR
boi_v53207_v_wERROR
boi_v53208_v_wERROR
boi_v53209_v_wERROR
boi_v53210_v_wERROR
boi_v53211_c_fERROR
boi_v53212_c_fERROR
boi_v53213_c_fERROR
boi_v53214_c_fERROR
boi_v53215_c_fERROR
boi_v53216_c_fERROR
boi_v53217_c_fERROR
boi_v53218_c_fERROR
boi_v53219_c_fERROR
boi_v53220_c_fERROR
boi_v53222_c_fERROR
boi_v53224_c_fERROR
boi_v53225_c_fERROR
boi_v53226_c_fERROR
boi_v53227_c_fERROR
boi_v53228_c_fERROR
boi_v53229_c_fERROR
boi_v53230_v_wERROR
boi_v53231_v_wERROR
boi_v53232_v_wERROR
boi_v53233_v_wERROR
boi_v53234_v_wERROR
boi_v53236_v_wERROR
boi_v53237_v_wERROR
boi_v53238_v_wERROR
boi_v53239_v_wERROR
boi_v53240_v_wERROR
boi_v53241_c_fERROR
boi_v53242_c_fERROR
boi_v53243_c_fERROR
boi_v53244_c_fERROR
boi_v53245_c_fERROR
boi_v53246_c_fERROR
boi_v53247_c_fERROR
boi_v53248_v_wERROR
boi_v53249_v_wERROR
boi_v53250_v_wERROR
boi_v53251_v_wERROR
boi_v53252_v_wERROR
boi_v53253_v_wERROR
boi_v53254_v_wERROR
boi_v53255_v_wERROR
boi_v53256_v_wERROR
boi_v53257_v_wERROR
boi_v53258_v_wERROR
boi_v53259_v_wERROR
boi_v53260_v_wERROR
boi_v53261_v_wERROR
boi_v53262_v_wERROR
boi_v53263_v_wERROR
boi_v53264_v_wERROR
boi_v53265_v_wERROR
boi_v53266_v_wERROR
boi_v53267_v_wERROR
boi_v53268_v_wERROR
boi_v53269_v_wERROR
boi_v53270_v_wERROR
boi_v53271_v_wERROR
boi_v53272_v_wERROR
boi_v53273_v_wERROR
boi_v53274_v_wERROR
boi_v53275_v_wERROR
boi_v53276_v_wERROR
boi_v53277_v_wERROR
boi_v53278_v_wERROR
boi_v53279_v_wERROR
boi_v53280_v_wERROR
boi_v53281_v_wERROR
boi_v53282_v_wERROR
boi_v53283_v_wERROR
boi_v53284_v_wERROR
boi_v53285_v_wERROR
boi_v53286_v_wERROR
boi_v53287_v_wERROR
boi_v53288_v_wERROR
boi_v53289_v_wERROR
boi_v53290_v_wERROR
boi_v53291_v_wERROR
boi_v53292_v_wERROR
boi_v53293_v_wERROR
boi_v53294_v_wERROR
boi_v53295_v_wERROR
boi_v53296_v_wERROR
boi_v53297_v_wERROR
boi_v53298_v_wERROR
boi_v53299_v_wERROR
boi_v53300_v_wERROR
boi_v53301_v_wERROR
boi_v53302_v_wERROR
boi_v53303_v_wERROR
boi_v53304_v_wERROR
boi_v53305_v_wERROR
boi_v53306_v_wERROR
boi_v53307_v_wERROR
boi_v53308_v_wERROR
boi_v53309_v_wERROR
boi_v53310_v_wERROR
boi_v53311_c_fERROR
boi_v53312_c_fERROR
boi_v53313_c_fERROR
boi_v53314_c_fERROR
boi_v53315_c_fERROR
boi_v53316_c_fERROR
boi_v53317_v_wERROR
boi_v53318_v_wERROR
boi_v53319_v_wERROR
boi_v53320_v_wERROR
boi_v53321_v_wERROR
boi_v53322_v_wERROR
boi_v53323_v_wERROR
boi_v53324_v_wERROR
boi_v53325_v_wERROR
boi_v53326_v_wERROR
boi_v53327_v_wERROR
boi_v53328_v_wERROR
boi_v53329_v_wERROR
boi_v53330_v_wERROR
boi_v53331_v_wERROR
boi_v53332_v_wERROR
boi_v53333_v_wERROR
boi_v53334_v_wERROR
boi_v53335_v_wERROR
boi_v53336_v_wERROR
boi_v53337_v_wERROR
boi_v53338_v_wERROR
boi_v53339_c_fERROR
boi_v53340_c_fERROR
boi_v53341_c_fERROR
boi_v53342_c_fERROR
boi_v53343_c_fERROR
boi_v53344_c_fERROR
boi_v53345_c_fERROR
boi_v53346_c_fERROR
boi_v53347_c_fERROR
boi_v53348_c_fERROR
boi_v53349_c_fERROR
boi_v53350_c_fERROR
boi_v53351_c_fERROR
boi_v53352_c_fERROR
boi_v53353_c_fERROR
boi_v53354_c_fERROR
boi_v53355_c_fERROR
boi_v53356_c_fERROR
boi_v53357_c_fERROR
boi_v53358_c_fERROR
boi_v53359_c_fERROR
boi_v53360_c_fERROR
boi_v53361_c_fERROR
boi_v53362_c_fERROR
boi_v53363_c_fERROR
boi_v53364_c_fERROR
boi_v53366_c_fERROR
boi_v53367_c_fERROR
boi_v53368_c_fERROR
boi_v53369_c_fERROR
boi_v53370_c_fERROR
boi_v53372_c_fERROR
boi_v53373_c_fERROR
boi_v53374_c_fERROR
boi_v53375_c_fERROR
boi_v53376_c_fERROR
boi_v53377_c_fERROR
boi_v53379_c_fERROR
boi_v53380_c_fERROR
boi_v53381_c_fERROR
boi_v53382_c_fERROR
boi_v53383_c_fERROR
boi_v53385_v_wERROR
boi_v53386_v_wERROR
boi_v53387_v_wERROR
boi_v53388_v_wERROR
boi_v53389_v_wERROR
boi_v53390_v_wERROR
boi_v53391_v_wERROR
boi_v53393_v_wERROR
boi_v53394_v_wERROR
boi_v53395_v_wERROR
boi_v53396_v_wERROR
boi_v53397_v_wERROR
boi_v53398_v_wERROR
boi_v53400_v_wERROR
boi_v53401_v_wERROR
boi_v53402_v_wERROR
boi_v53403_v_wERROR
boi_v53404_v_wERROR
boi_v53405_v_wERROR
boi_v53406_v_wERROR
boi_v53408_v_wERROR
boi_v53409_v_wERROR
boi_v53410_v_wERROR
boi_v53411_v_wERROR
boi_v53412_v_wERROR
boi_v53413_v_wERROR
boi_v53415_v_wERROR
boi_v53416_v_wERROR
boi_v53417_c_fERROR
boi_v53418_c_fERROR
boi_v53419_v_wERROR
boi_v53420_v_wERROR
boi_v53430_v_wERROR
boi_v53447_v_wERROR
boi_v53449_v_wERROR
boi_v53450_v_wERROR
boi_v53451_v_wERROR
boi_v53452_v_wERROR
boi_v53453_v_wERROR
boi_v53454_v_wERROR
boi_v53455_v_wERROR
boi_v53456_v_wERROR
boi_v53457_v_wERROR
boi_v53458_v_wERROR
boi_v53459_v_wERROR
boi_v53460_v_wERROR
boi_v53461_v_wERROR
boi_v53462_v_wERROR
boi_v53463_v_wERROR
boi_v53464_v_wERROR
boi_v53465_v_wERROR
boi_v53466_v_wERROR
boi_v53467_v_wERROR
boi_v58363_c_fERROR
boi_v58364_c_fERROR
boi_v58365_v_wERROR
boi_v58366_v_wERROR
boi_v58367_v_wERROR
boi_v58368_v_wERROR
boi_v63650_v_wERROR
boi_v63905_c_fERROR
boi_v63906_c_fERROR
boi_v63907_c_fERROR
boi_v63908_c_fERROR
boi_v63909_c_fERROR
boi_v63910_c_fERROR
boi_v63911_c_fERROR
boi_v63912_c_fERROR
boi_v63913_c_fERROR
boi_v63914_c_fERROR
boi_v63915_c_fERROR
boi_v63916_v_wERROR
boi_v63917_v_wERROR
boi_v63918_v_wERROR
boi_v63919_v_wERROR
boi_v63920_v_wERROR
boi_v63921_v_wERROR
boi_v63922_v_wERROR
boi_v63923_v_wERROR
boi_v63924_v_wERROR
boi_v63925_v_wERROR
boi_v63926_v_wERROR
boi_v63927_v_wERROR
boi_v63928_v_wERROR
boi_v63929_v_wERROR
boi_v63930_v_wERROR
boi_v70723_c_fERROR
boi_v70724_c_fERROR
boi_v70725_c_fERROR
boi_v70726_c_fERROR
boi_v70727_v_wERROR
boi_v70728_v_wERROR
boi_v70732_v_wERROR
boi_v70733_v_wERROR
boi_v70734_v_wERROR
boi_v70738_v_wERROR
boi_v70739_c_fERROR
boi_v70740_c_fERROR
boi_v74407_v_wERROR
boi_v74408_v_wERROR
boi_v74409_v_wERROR
boi_v74410_v_wERROR
boi_v74411_v_wERROR
boi_v74412_v_wERROR
boi_v74413_v_wERROR
boi_v74414_v_wERROR
boi_v74415_v_wERROR
boi_v74416_v_wERROR
boi_v74417_v_wERROR
boi_v74419_v_wERROR
boi_v77798_c_fERROR
boi_v77799_v_wERROR
boi_v77800_v_wERROR
boi_v77801_v_wERROR
boi_v77802_v_wERROR
boi_v77803_v_wERROR
boi_v77804_v_wERROR
boi_v77805_v_wERROR
boi_v77806_v_wERROR
boi_v77807_c_fERROR
boi_v77816_v_wERROR