edu.udel.cis.vsl.tass.config

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total684 of 2,70475%63 of 11244%10530016358866242036
RunConfiguration18869079%192557%369056224226801
Option1354625%12840%1322203171201
Options.new Option() {...}351935%7330%599141301
Options.new Option() {...}291534%6114%578111301
Options.new Option() {...}291534%6114%578111301
CompareConfiguration2526491%n/a12136512101
Options.new Option() {...}161243%20%24571301
Options.new Option() {...}161243%20%24571301
Options.new Option() {...}161243%20%24571301
Options.new Option() {...}151346%3125%35461301
Options.new Option() {...}151142%20%24571301
Options.new Option() {...}151142%20%24571301
Option.OptionType94984%n/a24022401
Option.OptionKind93981%n/a24022401
RunConfiguration.RunningMode93981%n/a24022401
RunConfiguration.TheoremProverType91968%n/a24022401
Options828897%10100%23538623001
Options.new Object() {...}5589%n/a01030101
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
Options.new Option() {...}1165%n/a13241301
RunConfiguration.DeadlockStrategy4390%n/a14021401
RunConfiguration.ReductionStrategy3387%n/a14021401
RunConfiguration.Frontend3387%n/a14021401
VerifyConfiguration148100%n/a01303701301
Created with JaCoCo 0.6.3.20130409-1102