Aadl2Formatter.new RecordingCommand() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total11 of 110%0 of 0n/a223322
{...}70%n/a111111
doExecute()40%n/a112211