IdealUniverse

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total1,053 of 2,98865%144 of 37161%1332791225031691
canonicalizeTree(TreeExpressionIF)13418758%224668%1835124801
tupleWrite(SymbolicExpressionIF, SymbolicExpressionIF, SymbolicExpressionIF)740%100%66131311
ltOrLte(SymbolicExpressionIF, SymbolicExpressionIF, boolean)6113469%112771%112023001
ideal(TreeExpressionIF)4810769%72981%71942201
and(SymbolicExpressionIF[])480%40%336611
cond(SymbolicExpressionIF, SymbolicExpressionIF, SymbolicExpressionIF)480%60%447711
or(SymbolicExpressionIF[])480%40%336611
relationExpression(RelationalExpression.RelationKind, FactoredPolynomial)392943%10533%7104901
lengthOfTreeArray(TreeExpressionIF)370%60%448811
extractSymbolicConstant(SymbolicExpressionIF)347268%101050%81193001
getArrayElements(SymbolicExpressionIF)331023%5117%3491201
equalsNumeric(SymbolicExpressionIF, SymbolicExpressionIF)326667%41071%4821701
add(SymbolicExpressionIF, SymbolicExpressionIF)323854%2467%242801
divide(SymbolicExpressionIF, SymbolicExpressionIF)323854%2467%242801
multiply(SymbolicExpressionIF, SymbolicExpressionIF)323854%2467%242801
subtract(SymbolicExpressionIF, SymbolicExpressionIF)323854%2467%242801
and(SymbolicExpressionIF, SymbolicExpressionIF)322342%2250%232601
or(SymbolicExpressionIF, SymbolicExpressionIF)322342%2250%232601
tupleRead(SymbolicExpressionIF, SymbolicExpressionIF)243358%4450%452901
minus(SymbolicExpressionIF)211542%2250%232501
equals(SymbolicExpressionIF, SymbolicExpressionIF)201135%3125%233601
exists(SymbolicConstantIF, SymbolicExpressionIF)162258%3350%341401
forall(SymbolicConstantIF, SymbolicExpressionIF)162258%3350%341401
equalsBoolean(SymbolicExpressionIF, SymbolicExpressionIF)150%n/a111111
concreteExpression(NumberIF)122870%1375%131501
not(SymbolicExpressionIF)121250%1150%121301
arrayRead(SymbolicExpressionIF, SymbolicExpressionIF)117387%2880%2611901
modulo(SymbolicExpressionIF, SymbolicExpressionIF)82273%4450%450301
getArrayOrigin(SymbolicExpressionIF)81056%1150%122501
tupleWrite(SymbolicExpressionIF, int, SymbolicExpressionIF)80%n/a111111
getSymbolicConstant(String, SymbolicTypeIF)60%n/a111111
length(SymbolicExpressionIF)60%n/a111111
apply(SymbolicExpressionIF, SymbolicExpressionIF[])48796%2675%2501901
power(SymbolicExpressionIF, SymbolicExpressionIF)43189%2467%240501
symbolicConstants()40%n/a111111
numExpression()40%n/a111111
arrayWrite(SymbolicExpressionIF, SymbolicExpressionIF, SymbolicExpressionIF)39897%1788%1512101
arrayExpression(SymbolicExpressionIF, SymbolicExpressionIF[])33792%1583%141901
extractBoolean(SymbolicExpressionIF)31583%1375%131501
tupleFactory()30%n/a111111
functionFactory()30%n/a111111
powerFactory()30%n/a111111
rationalFactory()30%n/a111111
expressions()30%n/a111111
static {...}675%1150%120101
IdealUniverse(RunConfiguration, NumberFactoryIF)221100%n/a0103401
extractNumber(SymbolicExpressionIF)58100%11393%1801601
symbolicConstantExpression(SymbolicConstantIF)40100%4100%0401201
lambda(SymbolicConstantIF, SymbolicExpressionIF)33100%n/a010501
tupleExpression(SymbolicTupleTypeIF, SymbolicExpressionIF[])29100%2100%020501
lessThan(SymbolicExpressionIF, SymbolicExpressionIF)20100%2100%020301
arrayLambda(SymbolicCompleteArrayTypeIF, SymbolicExpressionIF)14100%n/a010301
castToReal(SymbolicExpressionIF)13100%n/a010101
concreteExpression(int)13100%n/a010101
concreteExpression(boolean)8100%2100%020101
simplifier(SymbolicExpressionIF)7100%n/a010101
tupleRead(SymbolicExpressionIF, int)7100%n/a010101
make(TreeExpressionIF.SymbolicKind, SymbolicTypeIF, SymbolicExpressionIF[])7100%n/a010101
neq(SymbolicExpressionIF, SymbolicExpressionIF)7100%n/a010101
arrayType(SymbolicTypeIF, SymbolicExpressionIF)6100%n/a010101
expressionWithId(int)6100%n/a010101
functionType(SymbolicTypeIF[], SymbolicTypeIF)6100%n/a010101
getOrCreateSymbolicConstant(String, SymbolicTypeIF)6100%n/a010101
lessThanEquals(SymbolicExpressionIF, SymbolicExpressionIF)6100%n/a010101
newSymbolicConstant(String, SymbolicTypeIF)6100%n/a010101
tupleType(String, SymbolicTypeIF[])6100%n/a010101
booleanIdeal(CnfBooleanExpression)5100%n/a010101
integerIdeal(FactoredPolynomial)5100%n/a010101
otherIdeal(TreeExpressionIF)5100%n/a010101
realIdeal(RationalExpression)5100%n/a010101
symbolicConstantTreeExpression(SymbolicConstantIF)5100%n/a010101
arrayType(SymbolicTypeIF)5100%n/a010101
booleanType()4100%n/a010101
integerType()4100%n/a010101
realType()4100%n/a010101
tree(SymbolicExpressionIF)4100%n/a010101
typeFactory()3100%n/a010101
relationalFactory()3100%n/a010101
monomialFactory()3100%n/a010101
configuration()3100%n/a010101
arrayFactory()3100%n/a010101
symbolicConstantFactory()3100%n/a010101
cnfFactory()3100%n/a010101
concreteFactory()3100%n/a010101
factoredPolynomialFactory()3100%n/a010101
oneInt()3100%n/a010101
oneReal()3100%n/a010101
zeroInt()3100%n/a010101
zeroReal()3100%n/a010101
affineFactory()3100%n/a010101
numberFactory()3100%n/a010101