Test Coverage Report for SARL trunk r2560

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total35,073 of 79,86956%4,948 of 9,82650%4,1117,5107,20216,6378242,37454242
edu.udel.cis.vsl.sarl.ideal.simplify9,6654,64332%1,38547626%9921,2802,0853,0782003232237
edu.udel.cis.vsl.sarl.preuniverse.common4,5887,19261%55366855%4689768552,27086319723
edu.udel.cis.vsl.sarl.prove.cvc3,9902,92342%34715931%2783848951,504388205
edu.udel.cis.vsl.sarl.ideal.common2,4404,95467%36246556%3067294741,50859312322
edu.udel.cis.vsl.sarl.number.real2,3105,90972%7841,16460%5911,1303921,60021156011
edu.udel.cis.vsl.sarl.prove.z32,1341,88547%1288139%124197387752316504
edu.udel.cis.vsl.sarl.reason.common1,82636517%2023615%1752084035026285911
edu.udel.cis.vsl.sarl.simplify.common1,4484,98577%32485072%2616792991,614248809
edu.udel.cis.vsl.sarl.config.common1,38185538%2039833%149215309509134805
edu.udel.cis.vsl.sarl.expr.common1,3453,58573%19632863%18643326294425145015
edu.udel.cis.vsl.sarl.util1,0971,15151%1169445%192293266563120188724
edu.udel.cis.vsl.sarl.type.common1,0231,49759%16614046%16033521655341173219
edu.udel.cis.vsl.sarl.herbrand.common75046538%792524%87122145234437004
edu.udel.cis.vsl.sarl.object.common5271,49274%6612866%6125210043613151011
edu.udel.cis.vsl.sarl.universe.common1289%0%912242981112
edu.udel.cis.vsl.sarl.IF.config54%67%713223851002
edu.udel.cis.vsl.sarl.expr.cnf1,30695%1914688%19137825205007
edu.udel.cis.vsl.sarl.prove.IF14175%70%5147252702
edu.udel.cis.vsl.sarl.universe.IF62%33%71013394701
edu.udel.cis.vsl.sarl.prove.common68%50%716123641114
edu.udel.cis.vsl.sarl.expr.IF65%50%599273701
edu.udel.cis.vsl.sarl.preuniverse.IF59%n/a257152501
edu.udel.cis.vsl.sarl.IF.type19993%n/a3120631203
edu.udel.cis.vsl.sarl.IF83%n/a383113825
edu.udel.cis.vsl.sarl52%n/a35373501
edu.udel.cis.vsl.sarl.IF.expr53698%n/a280532802
edu.udel.cis.vsl.sarl.simplify.IF92%n/a290132902
edu.udel.cis.vsl.sarl.IF.object95%n/a14021401
edu.udel.cis.vsl.sarl.ideal.IF88%n/a14151402
edu.udel.cis.vsl.sarl.reason.IF75%n/a12131201
edu.udel.cis.vsl.sarl.herbrand.IF73%n/a12121201
edu.udel.cis.vsl.sarl.object.IF62%n/a12121201
edu.udel.cis.vsl.sarl.number.IF62%n/a12121201
edu.udel.cis.vsl.sarl.type.IF62%n/a12121201
edu.udel.cis.vsl.sarl.IF.number100%n/a01010101