Open anorth opened 4 years ago
The specs-actors repo has a couple of instances of mutating values stored in an AMT (keeping the index constant) while iterating it. Demonstrate that this is ok with a unit test.
@acruikshank I recall you did something here and we resolved it was ok. Did you add tests?
The specs-actors repo has a couple of instances of mutating values stored in an AMT (keeping the index constant) while iterating it. Demonstrate that this is ok with a unit test.