filecoin-project / specs-actors

DEPRECATED Specification of builtin actors, in the form of executable code.
Other
86 stars 102 forks source link

Test the nv15 miner migration #1554

Closed arajasek closed 2 years ago

arajasek commented 2 years ago

nv15 is expected to have migrations for the miner, market, and verifreg. The miner has the most involved migration, relying on some new logic, and so needs some thorough testing.

*Assert correctness can be done a few different ways:

ZenGround0 commented 2 years ago

Only things to add are (1) take a look at CheckStateInvariants which you can call from tests and should check most things and (2) run migration and check state invariants on main net state, either with ent or adding a new code path into lotus that checks invariants