edu.udel.cis.vsl.tass.predicate.impl

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total461 of 1,67873%28 of 12978%3510996354114408
AbsoluteDeadlock17627061%72981%924361012601
ComparisonPredicate13537173%132768%132827993801
PotentialDeadlock11228472%43590%62726963701
Discrepancy2317488%41071%51854811101
PotentialDeadlock.new Object() {...}64187%n/a01010101
AbsoluteDeadlock.new Object() {...}53588%n/a01010101
TASSFalsePredicate764%n/a25252501
PredicateFactory35100%n/a05050501