CnfBooleanExpression

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total55 of 18370%11 of 2658%924836011
atomString()481524%6225%4581201
CnfBooleanExpression(SymbolicTypeIF, OrExpression[])41173%2250%230401
static {...}2982%1150%120201
intrinsicEquals(SymbolicExpression)11393%2250%230101
toString()54100%8100%0501101
intrinsicHashCode()6100%n/a010101
clause(int)5100%n/a010101
argument(int)5100%n/a010101
numClauses()4100%n/a010101
numArguments()4100%n/a010101
kind()2100%n/a010101