Test Coverage Report for CIVL 1.11 r4431 Regression Suite

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total62,770 of 178,15665%7,269 of 16,69856%6,49013,29112,79237,6511,4374,468123484
edu.udel.cis.vsl.civl.transform.common9,99622,32969%1,4772,20360%1,0862,2522,2937,70364378427
edu.udel.cis.vsl.civl.model.common7,73919,61072%9971,82265%8452,1761,5095,791134626329
edu.udel.cis.vsl.civl.semantics.common6,61616,51071%7241,16962%5741,2881,2584,47421247022
edu.udel.cis.vsl.civl.gui.common6,1510%3880%4264261,5111,5112322325454
edu.udel.cis.vsl.civl.model.common.expression2,9244,32160%40533645%4329406851,777163546552
edu.udel.cis.vsl.civl.kripke.common2,7994,69463%29656266%2535665941,61350131418
edu.udel.cis.vsl.civl.slice.common2,7770%3160%218218525525606099
edu.udel.cis.vsl.civl.run.IF2,1672,66355%17717149%1712714711,0333788415
edu.udel.cis.vsl.civl.run.common2,1432,50754%17113043%237422276810111254634
edu.udel.cis.vsl.civl.model.common.statement1,5172,07958%19525056%19244030288658216318
edu.udel.cis.vsl.civl.state.common.immutable1,3677,90885%21181579%2117762742,06443262115
edu.udel.cis.vsl.civl.model.common.contract1,35016%17512%17620829836877108611
edu.udel.cis.vsl.civl.transform.common.contracts1,1513,98078%15625762%1323112581,1751410308
edu.udel.cis.vsl.civl.library.common1,0902,57670%10614157%9217218364394407
edu.udel.cis.vsl.civl.library.pthread1,04742629%7124%6276172249111802
edu.udel.cis.vsl.civl.util.IF9897%1255%981081852083139510
edu.udel.cis.vsl.civl.library.comm8712,72076%9514861%8616513763263303
edu.udel.cis.vsl.civl.gui.IF8500%760%5252193193141433
edu.udel.cis.vsl.civl.library.domain83946836%7323%6374148242111902
edu.udel.cis.vsl.civl.dynamic.common8002,64277%13721361%1302781717441710015
edu.udel.cis.vsl.civl.model.common.type7281,20962%8210456%10828912945153188015
edu.udel.cis.vsl.civl.library.pointer7221,57169%619360%5210611238301601
edu.udel.cis.vsl.civl.library.civlc6992,57679%13722662%11925511359984505
edu.udel.cis.vsl.civl.library.stdio6092,02677%778352%6111512248841903
edu.udel.cis.vsl.civl.config.IF6042,15078%663434%95184995734612804
edu.udel.cis.vsl.civl.analysis.common60211%6012%6067131153192435
edu.udel.cis.vsl.civl.predicate.common57666554%747851%65111151305193526
edu.udel.cis.vsl.civl.model.common.location4391,10872%5516975%421857338097301
edu.udel.cis.vsl.civl.library.seq42364560%6574%2354471700701
edu.udel.cis.vsl.civl.library.mpi3001,10979%354154%33705325042203
edu.udel.cis.vsl.civl.library.string73374%404955%3657481890802
edu.udel.cis.vsl.civl.log.IF55869%655345%48796821022003
edu.udel.cis.vsl.civl.model.common.expression.reference7%0%31356168192324
edu.udel.cis.vsl.civl.library.bundle38171%50%273817861801
edu.udel.cis.vsl.civl.library.time64%39%111416571401
edu.udel.cis.vsl.civl.model.IF.expression98889%n/a1028223102817
edu.udel.cis.vsl.civl.model.IF51381%38%20342351163018
edu.udel.cis.vsl.civl.model.IF.contract52%n/a101648101624
edu.udel.cis.vsl.civl.state.IF58%50%14332057113005
edu.udel.cis.vsl.civl.transform.IF86892%62%2010912170892234
edu.udel.cis.vsl.civl.semantics.IF27980%75%103474193209
edu.udel.cis.vsl.civl.model.common.variable79%73%1143117943001
edu.udel.cis.vsl.civl.library.collate46089%62%15279893912
edu.udel.cis.vsl.civl.dynamic.immutable83%70%92675611101
edu.udel.cis.vsl.civl0%0%66882211
edu.udel.cis.vsl.civl.predicate.IF58%n/a36363601
edu.udel.cis.vsl.civl.model.IF.statement93%n/a380143802
edu.udel.cis.vsl.civl.model.IF.type96%n/a28052802
edu.udel.cis.vsl.civl.model.IF.expression.reference90%n/a28062802
edu.udel.cis.vsl.civl.model.IF.location87%n/a24022401
edu.udel.cis.vsl.civl.analysis.IF96%100%191141501
edu.udel.cis.vsl.civl.kripke.IF91%n/a15151502
edu.udel.cis.vsl.civl.dynamic.IF80%n/a13131301
edu.udel.cis.vsl.civl.library.scope100%50%360110301