filecoin-project / specs-actors

DEPRECATED Specification of builtin actors, in the form of executable code.

Other

86 stars 102 forks source link

Draft: Migration test for miner actor #1568

Closed geoff-vball closed 2 years ago

geoff-vball commented 2 years ago

Closes issue #1554

codecov-commenter commented 2 years ago

Codecov Report

Merging #1568 (ed9d2e3) into master (2470cb3) will not change coverage. The diff coverage is n/a.

@@          Coverage Diff           @@
##           master   #1568   +/-   ##
======================================
  Coverage    69.0%   69.0%           
======================================
  Files          72      72           
  Lines        8791    8791           
======================================
  Hits         6072    6072           
  Misses       1858    1858           
  Partials      861     861

anorth commented 2 years ago

Any migration test should be invoking states.CheckStateInvariants after the migration to check a huge range of state invariants. And if there are new invariants in this network version, add them to the CheckStateInvariants for the relevant actor, or to the top-level for cross-actor invariants.