Aadl2SemanticSequencer.new RecordingCommand() {...}

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total14 of 140%0 of 0n/a223322
{...}100%n/a111111
doExecute()40%n/a112211