ErrorLog

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total32 of 52294%7 of 3077%8329119117
processLogEntry(LogEntry)2312685%4660%4673301
configuration()30%n/a111111
report(ExecutionException)21990%1150%120401
report(ExecutionStateException)21990%1150%120401
name()2778%1150%121301
writeModels()66100%2100%0201201
print(PrintWriter)64100%2100%0201501
print()60100%4100%0301001
writeTrace(PrintWriter)40100%4100%0301101
ErrorLog(RunConfiguration, ModelIF[])37100%n/a0101201
ErrorLog(CompareConfiguration, ModelIF, ModelIF)14100%n/a010201
considerQuitting()13100%2100%020401
ErrorLog(VerifyConfiguration, ModelIF)10100%n/a010201
setSearcher(DfsSearcher)4100%n/a010201
setErrorBound(int)4100%n/a010201
numErrors()4100%n/a010101
numReports()3100%n/a010101