StandardUniverse

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total451 of 86348%46 of 6832%77111751404677
tupleWrite(SymbolicExpressionIF, SymbolicExpressionIF, SymbolicExpressionIF)340%40%333311
length(SymbolicExpressionIF)330%40%338811
subtract(SymbolicExpressionIF, SymbolicExpressionIF)300%80%554411
arrayExpression(SymbolicExpressionIF, SymbolicExpressionIF[])300%40%337711
lambda(SymbolicConstantIF, SymbolicExpressionIF)240%n/a113311
multiply(SymbolicExpressionIF, SymbolicExpressionIF)212049%3350%341501
cond(SymbolicExpressionIF, SymbolicExpressionIF, SymbolicExpressionIF)200%n/a111111
not(SymbolicExpressionIF)170%40%332211
tupleRead(SymbolicExpressionIF, SymbolicExpressionIF)170%n/a112211
extractBoolean(SymbolicExpressionIF)120%20%223311
extractNumber(SymbolicExpressionIF)120%20%223311
extractSymbolicConstant(SymbolicExpressionIF)120%20%223311
exists(SymbolicConstantIF, SymbolicExpressionIF)100%n/a111111
add(SymbolicExpressionIF, SymbolicExpressionIF)82273%4450%450401
neq(SymbolicExpressionIF, SymbolicExpressionIF)82273%4450%450401
modulo(SymbolicExpressionIF, SymbolicExpressionIF)82071%4450%450301
tupleWrite(SymbolicExpressionIF, int, SymbolicExpressionIF)80%n/a111111
minus(SymbolicExpressionIF)70%n/a111111
tupleRead(SymbolicExpressionIF, int)70%n/a111111
arrayType(SymbolicTypeIF, SymbolicExpressionIF)60%n/a111111
functionType(SymbolicTypeIF[], SymbolicTypeIF)60%n/a111111
getOrCreateSymbolicConstant(String, SymbolicTypeIF)60%n/a111111
getSymbolicConstant(String, SymbolicTypeIF)60%n/a111111
tupleExpression(SymbolicTupleTypeIF, SymbolicExpressionIF[])60%n/a111111
tupleType(String, SymbolicTypeIF[])60%n/a111111
expressionWithId(int)60%n/a111111
arrayLambda(SymbolicCompleteArrayTypeIF, SymbolicExpressionIF)60%n/a111111
concreteExpression(NumberIF)50%n/a111111
concreteExpression(boolean)50%n/a111111
symbolicConstantTreeExpression(SymbolicConstantIF)50%n/a111111
simplifier(SymbolicExpressionIF)50%n/a111111
arrayType(SymbolicTypeIF)50%n/a111111
booleanType()40%n/a111111
oneInt()40%n/a111111
oneReal()40%n/a111111
zeroInt()40%n/a111111
zeroReal()40%n/a111111
numExpression()40%n/a111111
symbolicConstants()40%n/a111111
configuration()30%n/a111111
numberFactory()30%n/a111111
typeFactory()30%n/a111111
concreteFactory()30%n/a111111
constantFactory()30%n/a111111
realType()30%n/a111111
expressions()30%n/a111111
getArrayElements(SymbolicExpressionIF)30%n/a111111
static {...}2675%1150%120101
canonicalize(TreeExpressionIF)20%n/a111111
canonicalizeTree(TreeExpressionIF)20%n/a111111
getArrayOrigin(SymbolicExpressionIF)20%n/a111111
StandardUniverse(RunConfiguration, NumberFactoryIF, SymbolicTypeFactory)46100%n/a0101201
apply(SymbolicExpressionIF, SymbolicExpressionIF[])35100%2100%020501
divide(SymbolicExpressionIF, SymbolicExpressionIF)22100%2100%020401
flyweight(StandardSymbolicExpression)21100%2100%020501
arrayWrite(SymbolicExpressionIF, SymbolicExpressionIF, SymbolicExpressionIF)20100%n/a010101
binary(TreeExpressionIF.SymbolicKind, SymbolicTypeIF, SymbolicExpressionIF, SymbolicExpressionIF)18100%n/a010101
unary(TreeExpressionIF.SymbolicKind, SymbolicTypeIF, SymbolicExpressionIF)14100%n/a010101
and(SymbolicExpressionIF, SymbolicExpressionIF)13100%n/a010101
or(SymbolicExpressionIF, SymbolicExpressionIF)13100%n/a010101
arrayRead(SymbolicExpressionIF, SymbolicExpressionIF)10100%n/a010101
forall(SymbolicConstantIF, SymbolicExpressionIF)10100%n/a010101
expression(TreeExpressionIF.SymbolicKind, SymbolicTypeIF, SymbolicExpressionIF[])9100%n/a010101
StandardUniverse(RunConfiguration, NumberFactoryIF)8100%n/a010201
equals(SymbolicExpressionIF, SymbolicExpressionIF)8100%n/a010101
lessThan(SymbolicExpressionIF, SymbolicExpressionIF)8100%n/a010101
lessThanEquals(SymbolicExpressionIF, SymbolicExpressionIF)8100%n/a010101
power(SymbolicExpressionIF, SymbolicExpressionIF)8100%n/a010101
and(SymbolicExpressionIF[])7100%n/a010101
castToReal(SymbolicExpressionIF)7100%n/a010101
or(SymbolicExpressionIF[])7100%n/a010101
make(TreeExpressionIF.SymbolicKind, SymbolicTypeIF, SymbolicExpressionIF[])7100%n/a010101
newSymbolicConstant(String, SymbolicTypeIF)6100%n/a010101
concreteExpression(int)5100%n/a010101
symbolicConstantExpression(SymbolicConstantIF)5100%n/a010101
integerType()4100%n/a010101
tree(SymbolicExpressionIF)3100%n/a010101