QuantifierExpression

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total12 of 11690%3 of 1173%317120011
argument(int)12840%1267%131401
intrinsicEquals(SymbolicExpression)21100%2467%240101
toString()19100%n/a010101
QuantifierExpression(QuantifierExpression.Quantifier, SymbolicConstantExpression, CnfBooleanExpression)14100%n/a010501
atomString()12100%n/a010101
intrinsicHashCode()11100%n/a010101
kind()8100%2100%020301
variable()3100%n/a010101
predicate()3100%n/a010101
quantifier()3100%n/a010101
numArguments()2100%n/a010101