search

filecoin-project / specs-actors

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

Confirm bug and failure catch #1578

Closed ZenGround0 closed 2 years ago

ZenGround0 commented 2 years ago

Proving out the bug in #1577 and demonstrating that it fails the message without causing harm