Code

evm: add fuzz tests#239

Code

Merged

RahulMaganti47 merged 18 commits intomainwormhole-foundation/native-token-transfers:mainfrom fuzz-testswormhole-foundation/native-token-transfers:fuzz-testsCopy head branch name to clipboardMar 15, 2024

Commits

Commits on Mar 15, 2024

• rate_limit: add fuzz test for outbound transfers

  

  Rahul Maganti

  committed
  783e741

  Copy full SHA for 783e741

• trimmed_amounts: add fuzz tests for left inverse and saturating add

  

  Rahul Maganti

  committed
  23db655

  Copy full SHA for 23db655

• trimmed_amount: add more fuzz tests

  

  Rahul Maganti

  committed
  42fe1a4

  Copy full SHA for 42fe1a4

• ntt_manager: add fuzz test for countSetBits

  

  Rahul Maganti

  committed
  2c96268

  Copy full SHA for 2c96268

• rate_limit: add fuzz test for inbound rate limiting

  

  Rahul Maganti

  committed
  7151aa4

  Copy full SHA for 7151aa4

• rate_limit: add fuzz test for backflow

  

  Rahul Maganti

  committed
  4e1ff5f

  Copy full SHA for 4e1ff5f

• fix: use bound instead of assume for uints

  

  Rahul Maganti

  committed
  ff58420

  Copy full SHA for ff58420

• evm: remove unnecessary bounds in fuzz test for saturatingAdd

  

  Rahul Maganti

  committed
  23320d1

  Copy full SHA for 23320d1

• evm: change the inputs to the circular backflow tests to uint256

  

  Rahul Maganti

  committed
  c00fa66

  Copy full SHA for c00fa66

• evm: modify trimming is left inverse to support more decimals

  

  Rahul Maganti

  committed
  9f1cd4b

  Copy full SHA for 9f1cd4b

• evm: rebasing changes

  

  Rahul Maganti

  committed
  4db4651

  Copy full SHA for 4db4651

• evm: use bound in place of vm.assume

  

  Rahul Maganti

  committed
  0c69f0e

  Copy full SHA for 0c69f0e

• evm: test against inputs greater than u64MAX

  

  Rahul Maganti

  committed
  03ecf97

  Copy full SHA for 03ecf97

• evm: use explicit error selectors in reverts

  

  Rahul Maganti

  committed
  b4e43e6

  Copy full SHA for b4e43e6

• evm: rename inputs for more clarity

  

  Rahul Maganti

  committed
  a11c150

  Copy full SHA for a11c150

• evm: simplify trimming is left inverse test

  

  Rahul Maganti

  committed
  bd05006

  Copy full SHA for bd05006

• evm: test additional invariants

  

  Rahul Maganti

  committed
  8c95b29

  Copy full SHA for 8c95b29

• evm: use bound instead of assume

  

  Rahul Maganti

  committed
  03759b1

  Copy full SHA for 03759b1