IdealSimplifier

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,382 of 4,79671%260 of 73765%207441225971865
simplifyGT0Rational(RelationalExpression)16910538%231539%1620183901
simplifyTuple(Tuple)940%120%77181811
simplifyConditional(ConditionalExpression)940%120%77191911
simplifyLambda(LambdaExpression)840%100%66171711
simplifyTupleWrite(TupleWrite)830%100%66161611
simplifyArrayLambda(ArrayLambdaExpression)710%80%55151511
simplifyTupleRead(TupleRead)710%80%55141411
simplifyTree(TreeExpressionIF)7012464%163065%162483901
extractGT0(RationalExpression, Map, Map, boolean)583638%19521%111381701
simplifyBooleanPrimitive(BooleanPrimitive)542834%8327%78131801
simplifySymbolicConstant(SymbolicConstantExpressionIF)509866%7956%5972601
extractBoundsOr(OrExpression, Map, Map)4811971%151346%101583301
simplify(SymbolicExpressionIF)462636%6650%6761401
simplifyGT0(FactoredPolynomial, boolean)3721485%206276%174244801
extractBounds(BasicExpression, Map, Map)378469%81158%61232301
simplifyRelational(RelationalExpression)3617083%32991%31834201
simplifyFactoredPolynomial(FactoredPolynomial)3520385%72981%51934701
initialize()2813883%61875%51363701
IdealSimplifier(IdealUniverse, BooleanIdealExpression)255067%2250%2331801
simplifyNumericPrimitive(NumericPrimitive)248478%31077%31152701
simplifyApply(EvaluatedFunctionExpression)198381%6857%6821901
simplifyLiteral(LiteralExpression)193867%3350%3431301
simplifyIntDiv(IntegerDivisionExpression)185074%4450%4521301
updateConstantMap()165176%41071%4831301
simplifyEQ0(FactoredPolynomial)1414391%73182%72023401
extractGT0Bounds(boolean, TreeExpressionIF, Map, Map)122668%1375%131701
simplifyBasic(BasicExpression)122467%1583%141701
simplifyArrayExpression(ArrayExpression)1011992%41680%41123001
simplifyQuantifier(QuantifierExpression)95887%1583%1411301
extractEQ0Bounds(boolean, FactoredPolynomial, Map, Map)711594%51777%51232501
assumptionAsInterval(SymbolicConstantIF)612395%51777%51232901
extractGT0(FactoredPolynomial, Map, Map, boolean)59295%31583%31012301
out()40%n/a111111
universe()30%n/a111111
simplifyCnf(CnfBooleanExpression)10398%11192%1712201
simplifyArrayWrite(ArrayWrite)9298%3975%3711901
simplifyArrayRead(ArrayRead)8098%1990%1611701
simplifyIntMod(IntegerModulusExpression)6697%2675%2511301
simplifyCast(RealCastExpression)4896%1375%1311001
verbose()675%1150%120101
static {...}675%1150%120101
simplifyMonomial(Monomial)120100%12100%0702501
simplifyOr(OrExpression)88100%12100%0701901
boundToIdeal(BoundsObject)78100%10100%0601601
simplifyRational(RationalExpression)64100%1788%1501101
extractRemainingFacts()58100%2880%2601501
printConstantMap(PrintWriter)36100%2100%020801
printBooleanMap(PrintWriter)36100%2100%020801
extractBounds()31100%4100%030701
printBoundMap(PrintWriter)24100%2100%020701
declareFact(TreeExpressionIF, boolean)20100%2100%020301
trueExpression()5100%n/a010101
falseExpression()5100%n/a010101
cnfTrue()5100%n/a010101
cnfFalse()5100%n/a010101
numberFactory()4100%n/a010101
fpFactory()4100%n/a010101
concreteFactory()4100%n/a010101
monomialFactory()4100%n/a010101
affineFactory()4100%n/a010101
relationalFactory()4100%n/a010101
cnfFactory()4100%n/a010101
constantFactory()4100%n/a010101
newAssumption()3100%n/a010101
extractNEQ0Bounds(FactoredPolynomial, Map, Map)100%n/a010101