PropertyVerifier.new Statement() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total7 of 4885%0 of 0n/a0321503
evaluate()43088%n/a0111101
lambda$evaluate$0(Statement)3240%n/a011301
{...}9100%n/a010101