Test Coverage Report for SARL trunk r2501

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total28,990 of 72,74960%4,131 of 8,91154%3,5496,8945,87115,1106972,22943229
edu.udel.cis.vsl.sarl.preuniverse.common4,5887,19261%55366855%4689768552,27086319723
edu.udel.cis.vsl.sarl.ideal.simplify4,0394,32152%67147141%4957808621,801751961125
edu.udel.cis.vsl.sarl.prove.cvc3,9902,92342%34715931%2783848951,504388205
edu.udel.cis.vsl.sarl.ideal.common2,4114,94867%35146457%3007234661,49759312322
edu.udel.cis.vsl.sarl.prove.z32,1341,88547%1288139%124197387752316504
edu.udel.cis.vsl.sarl.number.real2,0665,70773%7341,14061%5701,0923301,50924155011
edu.udel.cis.vsl.sarl.reason.common1,82636517%2023615%1752084035026285911
edu.udel.cis.vsl.sarl.simplify.common1,3904,56177%30478272%2406272881,502258009
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.type.common1,0231,49759%16614046%16033521655341173219
edu.udel.cis.vsl.sarl.util1,0071,15153%1049447%181282248545115183724
edu.udel.cis.vsl.sarl.herbrand.common71946539%692527%82117135224437004
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.IF.object10395%n/a14021401
edu.udel.cis.vsl.sarl.simplify.IF83%n/a15151501
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