Proposition
constructor(report: PropositionReembedReport, failedPropositionIds: List<String>, cause: Throwable?, notAttemptedPropositionIds: List<String> = emptyList())
Parameters
report
what the run did achieve: PropositionReembedReport.propositions counts only the propositions actually re-embedded
failed
ids of the propositions whose re-embed failed, in the order attempted
not
ids of the propositions not tried because the run stopped after too many consecutive failures (see ConsecutiveFailureBreaker); they are handled as failed ones are