SimpleIdealProver

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total22 of 8975%2 of 667%71172658
reset()60%n/a112211
findModel(SymbolicExpressionIF)50%n/a111111
valid(SymbolicExpressionIF, SymbolicExpressionIF)35295%2467%2411401
universe()30%n/a111111
numValidCalls()30%n/a111111
numInternalValidCalls()20%n/a111111
SimpleIdealProver(SymbolicUniverseIF)14100%n/a010501
close()1100%n/a010101