Roman Zajic
|
f5fff5cdc2
|
chore: fuzz test expansion (#40)
* test: register invalid
* test: multiple registers
* fix: increase max rejects
* test: erasure with fullErase idCommitments
* fix: reduce cyclomatic complexity
* fix: reduce complexity one step less
* fix: run tests in parallel
* fix: undo run tests in parallel - default already
* test: invalid extension with extreme values
* fix: line length
* test: set MaxTotalRateLimit
* test: set ActiveDuration
* test: Merkle inserts
* test: Merkle erasures
* test: GetRateCommitmentsRange
* test: GetMerkleProof
* fix: optimized MerkleInsert MerkleErasures
* fix: update gas snapshot
* test: malicious upgrade drains funds
* fix: formatting
* test: show success when unauthorized upgrade after malicious
* test: offchain proof post lazy erase
- multi-user erase reuse race
* fix: line length
* fix: remove offchain lazy erase test - rate limit still applies
* fix: remove fuzz tests from CI run
* fix: formatting
* fix: formatting coverage
* test: timestamp manipulation
* fix: rename tests
* test: front running for registration
* fix: unused variables
* test: register during spam conditions
* fix: delete failing tests
- test_MaliciousUpgradeDrainsFunds
- testFrontrunning_RegistrationRevertsForVictim
- testFrontrunning_SetFillingSpam
* fix: delete MaliciousImplementation
* fix: formatting with a new Foundry version
* test: testEraseAndReuse with Echidna
* fix: remove limit check
* fix: remove test_MultiUserEraseReuseRace
- test_TimestampManipulationRaces
* fix: skip Echidna contract during forge test
* test: Echidna contract with invariants
- registerMembership
- attemptExtensionRace
- attemptErasureRace
* fix: tune config file
* fix: run and cleanup scripts for echidna
* test: Echidna test replay
* fix: Solidity version
* fix: test_attemptExtensionRace_WakuRLN
* fix: invalid commitment in test_attemptExtensionRace_WakuRLN
* fix: invalid commitments in
test_attemptErasureRace_WakuRLN
* fix: line length
* fix: skip all Echidna tests in CI
* test: register invalid
* test: multiple registers
* fix: increase max rejects
* test: erasure with fullErase idCommitments
* fix: reduce cyclomatic complexity
* fix: reduce complexity one step less
* test: invalid extension with extreme values
* fix: line length
* test: set MaxTotalRateLimit
* test: set ActiveDuration
* test: Merkle inserts
* test: Merkle erasures
* test: GetRateCommitmentsRange
* test: GetMerkleProof
* fix: optimized MerkleInsert MerkleErasures
* fix: update gas snapshot
* fix: formatting
* fix: remove tests with high overlap
* fix: remove all tests originally meant for fuzzing
* fix: rename merged Echidna tests
* fix: formatting
* test: fuzzing for essential invariants
* test: EchidnaTest contract
* fix: remove unnecessary imports
* fix: remove unnecessary helpers
* fix: remove bounds from invariants
* fix: change test mode to property
* fix: update run script
* fix: max_test_rejects back to the original value
* fix: remove unused local variables
|
2025-11-07 09:20:49 +08:00 |
|