CVC3TheoremProver2

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total716 of 1,81160%53 of 16167%46120124365626
valid(SymbolicExpressionIF, SymbolicExpressionIF)1666829%8850%69264601
processEquality(SymbolicTypeIF, SymbolicTypeIF, Expr, Expr)155127%5117%34242701
translate(TreeExpressionIF)14338073%185375%15502510301
translateType(SymbolicTypeIF)5710064%61470%51193301
translateTupleWrite(TreeExpressionIF)490%40%33111111
translateTupleRead(TreeExpressionIF)420%40%33101011
translateTuple(TreeExpressionIF)290%20%226611
translateApply(TreeExpressionIF)147684%1583%1411901
close()13838%2100%022601
translateQuantifier(TreeExpressionIF)124479%1375%1311001
reset()93981%2100%0231401
translateArrayWrite(TreeExpressionIF)63385%1150%121801
translateArrayRead(TreeExpressionIF)62681%1150%121701
CVC3TheoremProver2(SymbolicUniverseIF, RunConfiguration)53186%1150%1211201
findModel(SymbolicExpressionIF)50%n/a111111
configuration()0%n/a111111
toString()0%n/a111111
getQuotientRemainderPair(TreeExpressionIF, TreeExpressionIF)148100%1990%1602301
translateSymbolicConstant(SymbolicConstantExpressionIF, boolean)52100%4100%0301101
translateEquality(TreeExpressionIF)31100%n/a010801
translateIntegerModulo(TreeExpressionIF)13100%n/a010201
translateIntegerDivision(TreeExpressionIF)13100%n/a010201
isOne(TreeExpressionIF)12100%4100%030101
universe()100%n/a010101
numInternalValidCalls()100%n/a010101
numValidCalls()100%n/a010101