LightSymbolicSimplifier

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total3 of 2889%0 of 0n/a151815
universe()30%n/a111111
LightSymbolicSimplifier(SymbolicUniverseIF, SymbolicExpressionIF)11100%n/a010401
simplify(SymbolicExpressionIF)5100%n/a010101
assumptionAsInterval(SymbolicConstantIF)5100%n/a010101
newAssumption()4100%n/a010101