IdealCVC3HybridProver

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total16 of 6475%0 of 2100%3951938
reset()70%n/a113311
findModel(SymbolicExpressionIF)50%n/a111111
numValidCalls()40%n/a111111
IdealCVC3HybridProver(SymbolicUniverseIF, RunConfiguration)17100%n/a010501
valid(SymbolicExpressionIF, SymbolicExpressionIF)17100%2100%020401
close()7100%n/a010301
numInternalValidCalls()4100%n/a010101
universe()3100%n/a010101