edu.udel.cis.vsl.sarl.simplify.norm

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total270 of 1,39280%45 of 16472%321135632513109
TupleNormalizer.SymbolicTupleSimplifier17810737%261027%152340671501
RangeNormalizer5128484%102066%8207720501
TupleNormalizer152562%1150%131100201
MultiOrNormalizer1434796%23694%2264780701
SubstitutionNormalizer715595%32187%3152440301
GaussianNormalizer510095%31785%3142270401
NormalizerChain92100%14100%0100250301
MultiOrNormalizer.StructuredOrClause6100%n/a01010101
MultiOrNormalizer.FactoredOrSection6100%n/a01010101