FailureLedgerSpec

constructor()