v15

Documentation

Index

• func CheckDealStatesAgainstSectors(acc *builtin.MessageAccumulator, ...)
• func CheckMarketAgainstVerifreg(acc *builtin.MessageAccumulator, verifregSummary *verifreg.StateSummary, ...)
• func CheckMinersAgainstPower(acc *builtin.MessageAccumulator, ...)
• func CheckStateInvariants(tree *builtin.ActorTree, priorEpoch abi.ChainEpoch, ...) (*builtin.MessageAccumulator, error)
• func CheckVerifregAgainstDatacap(acc *builtin.MessageAccumulator, verifregSummary *verifreg.StateSummary, ...)
• func CheckVerifregAgainstMiners(acc *builtin.MessageAccumulator, verifregSummary *verifreg.StateSummary, ...)

Functions

func CheckDealStatesAgainstSectors

func CheckDealStatesAgainstSectors(acc *builtin.MessageAccumulator, minerSummaries map[address.Address]*miner.StateSummary, marketSummary *market.StateSummary, currEpoch abi.ChainEpoch)

func CheckMarketAgainstVerifreg

func CheckMarketAgainstVerifreg(acc *builtin.MessageAccumulator, verifregSummary *verifreg.StateSummary, marketSummary *market.StateSummary)

func CheckMinersAgainstPower

func CheckMinersAgainstPower(acc *builtin.MessageAccumulator, minerSummaries map[address.Address]*miner.StateSummary, powerSummary *power.StateSummary)

func CheckStateInvariants

func CheckStateInvariants(tree *builtin.ActorTree, priorEpoch abi.ChainEpoch, actorCodes map[string]cid.Cid) (*builtin.MessageAccumulator, error)

Within this code, Go errors are not expected, but are often converted to messages so that execution can continue to find more errors rather than fail with no insight. Only errors thar are particularly troublesome to recover from should propagate as Go errors.

func CheckVerifregAgainstDatacap

func CheckVerifregAgainstDatacap(acc *builtin.MessageAccumulator, verifregSummary *verifreg.StateSummary, datacapSummary *datacap.StateSummary)

func CheckVerifregAgainstMiners

func CheckVerifregAgainstMiners(acc *builtin.MessageAccumulator, verifregSummary *verifreg.StateSummary, minerSummaries map[address.Address]*miner.StateSummary)