Skip to content

Rollup_helpers: fix RotatingArray.set and remove remove

David Turner requested to merge novalis_dt/tezos:dturner@rotating-array into oru@main

Add some tests.

The remove function is (a) buggy and (b) unused. It cannot be implemented correctly given the current structure of RotatingArray, since we rely on the map's cardinality being non-decreasing.

Merge request reports