diff --git a/test/EchidnaTest.t.sol b/test/EchidnaTest.t.sol index 4fb1eff..53dda4d 100644 --- a/test/EchidnaTest.t.sol +++ b/test/EchidnaTest.t.sol @@ -30,12 +30,6 @@ contract EchidnaTest { } function testEraseAndReuse(uint32 _numUsers, bool fullErase, uint32 rateLimit) public { - require(_numUsers > 1 && _numUsers <= 256, "numUsers out of range"); - require( - w.minMembershipRateLimit() <= rateLimit && rateLimit <= w.maxMembershipRateLimit() / _numUsers, - "rateLimit out of range" - ); - numUsers = _numUsers; // Multi-user registers