Write tests and validate the implementation - Actors

Description

Add VM tests to the actors/tests package that exercise the ProveCommitUpdateReplica method

Success cases:

• Happy path where sector update works
• Power updates are handled correctly when the sector is in unproven state

Error cases:

• Fail updating sector with deals already
• Fail with invalid proof and batch sizes
• Fail when deals cannot activate

Done criteria

• Handle all these cases
• Due diligence finding other cases and including in tests

Dependencies

Relevant issue to follow:

Actors Testing - that will be used to validate changes we made for SnapDeals implementation · Issue #1513 · filecoin-project/specs-actors

Specification of builtin actors, in the form of executable code. - Actors Testing - that will be used to validate changes we made for SnapDeals implementation · Issue #1513 · filecoin-project/specs-actors

github.com

Notes about the Milestone:

• @Aayush Rajasekaran - this can be done in parallel with internal and external audits - In December, before we start testing on Butterfly testnet.