HypothesisService.new TransactionSynchronization() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total27 of 5349%0 of 0n/a024802
afterCommit()271128%n/a014701
{...}15100%n/a010101