PropertyVerifier.new Statement() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total0 of 22100%0 of 0n/a020302
{...}12100%n/a010101
evaluate()10100%n/a010201