Test Coverage Report for CIVL 1.9 r4292 Regression Suite

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total71,734 of 177,74260%8,054 of 16,59051%6,84713,26814,89037,6001,5074,500123484
edu.udel.cis.vsl.civl.transform.common17,73014,58245%2,1551,52541%1,3742,2524,1387,719112378527
edu.udel.cis.vsl.civl.model.common7,73419,31071%9971,76864%8442,1421,5105,722133619329
edu.udel.cis.vsl.civl.semantics.common7,22716,10569%7741,13359%6041,3161,4064,52729268024
edu.udel.cis.vsl.civl.gui.common6,1510%3880%4264261,5111,5112322325454
edu.udel.cis.vsl.civl.model.common.expression2,9504,23759%40232745%4319336921,768165545552
edu.udel.cis.vsl.civl.kripke.common2,8614,36660%29649863%2565426021,54754139318
edu.udel.cis.vsl.civl.slice.common2,7750%3160%218218525525606099
edu.udel.cis.vsl.civl.run.IF2,1792,64055%17717149%1712714731,0303788415
edu.udel.cis.vsl.civl.run.common2,1462,50454%17312843%239422277809111254634
edu.udel.cis.vsl.civl.model.common.statement1,6181,97655%20923653%20144032188662216318
edu.udel.cis.vsl.civl.state.common.immutable1,4198,02085%22082879%2187992852,11745274114
edu.udel.cis.vsl.civl.model.common.contract1,35116%17611%17720829836877108611
edu.udel.cis.vsl.civl.transform.common.contracts1,1513,98078%15625762%1323112581,1751410308
edu.udel.cis.vsl.civl.library.pointer1,1101,18352%946039%7410617538341601
edu.udel.cis.vsl.civl.library.common1,0902,57670%10714057%9317218364394407
edu.udel.cis.vsl.civl.library.pthread1,04742629%7124%6276172249111802
edu.udel.cis.vsl.civl.util.IF92213%11314%901081682082939510
edu.udel.cis.vsl.civl.library.comm8712,72076%9514861%8616513763263303
edu.udel.cis.vsl.civl.gui.IF8490%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.civlc6902,52979%13522062%11725011259284505
edu.udel.cis.vsl.civl.config.IF6232,13177%683232%971841035734812804
edu.udel.cis.vsl.civl.library.stdio6092,02677%778352%6111512248841903
edu.udel.cis.vsl.civl.analysis.common60211%6012%6067131153192435
edu.udel.cis.vsl.civl.predicate.common57666454%767650%67111151305193526
edu.udel.cis.vsl.civl.model.common.location4351,09572%5316976%411827337697101
edu.udel.cis.vsl.civl.library.seq42364560%6574%2354471700701
edu.udel.cis.vsl.civl.library.mpi3061,10378%364053%34705425042203
edu.udel.cis.vsl.civl.log.IF29845460%763833%51777619522003
edu.udel.cis.vsl.civl.library.string73374%404955%3657481890802
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.IF.contract52%n/a101648101624
edu.udel.cis.vsl.civl.model.IF51983%38%19342151153018
edu.udel.cis.vsl.civl.state.IF58%50%14332057113005
edu.udel.cis.vsl.civl.transform.IF86892%62%2010912170892234
edu.udel.cis.vsl.civl.semantics.IF29281%75%103674393409
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.IF90%n/a14141401
edu.udel.cis.vsl.civl.dynamic.IF80%n/a13131301
edu.udel.cis.vsl.civl.library.scope100%50%360110301