Code

Add invariant tests#1237

Code

Draft

nikitastupin-matterlabs wants to merge 50 commits intodevmatter-labs/era-contracts:devfrom nikita/invariant-testsmatter-labs/era-contracts:nikita/invariant-testsCopy head branch name to clipboard

+392-2

Commits

Commits on Feb 6, 2025

• add invariant test

  nikitastupin-matterlabs

  committed
  7bd60ea

  Copy full SHA for 7bd60ea

• add invariant-tests.yaml

  nikitastupin-matterlabs

  committed
  41ba12d

  Copy full SHA for 41ba12d

• fix: every step must define a uses or run key

  nikitastupin-matterlabs

  committed
  1508866

  Copy full SHA for 1508866

• add pull_request trigger

  nikitastupin-matterlabs

  committed
  d71afe8

  Copy full SHA for d71afe8

• use older version of install-foundry-zksync

  nikitastupin-matterlabs

  committed
  c719c15

  Copy full SHA for c719c15

• try fix: chmod: cannot access './install': No such file or directory

  nikitastupin-matterlabs

  committed
  e94cb6e

  Copy full SHA for e94cb6e

• try dutterbutter/foundry-zksync-toolchain

  nikitastupin-matterlabs

  committed
  6788b60

  Copy full SHA for 6788b60

• add Run tests step

  nikitastupin-matterlabs

  committed
  5b51a7b

  Copy full SHA for 5b51a7b

• pin dutterbutter/foundry-zksync-toolchain to v1.0.0

  nikitastupin-matterlabs

  committed
  07d9dd1

  Copy full SHA for 07d9dd1

• run GNU sed when CI is set

  nikitastupin-matterlabs

  committed
  729eb22

  Copy full SHA for 729eb22

• fix sed options

  nikitastupin-matterlabs

  committed
  c0296d8

  Copy full SHA for c0296d8

• fix sed command

  nikitastupin-matterlabs

  committed
  d1dec7d

  Copy full SHA for d1dec7d

• add build artifacts setp

  nikitastupin-matterlabs

  committed
  569f657

  Copy full SHA for 569f657

• exit early on errors and fix sed command

  nikitastupin-matterlabs

  committed
  0669c30

  Copy full SHA for 0669c30

• fix: vm.readFile: failed to read from "/home/runner/work/era-contracts/era-contracts/l1-contracts/script-out/diamond-selectors.toml": No such file or directory

  nikitastupin-matterlabs

  committed
  c903d7f

  Copy full SHA for c903d7f

• try to fix

  nikitastupin-matterlabs

  committed
  665c40c

  Copy full SHA for 665c40c

• try fix: JSON files missing

  nikitastupin-matterlabs

  committed
  9bf843a

  Copy full SHA for 9bf843a

• turn off

  nikitastupin-matterlabs

  committed
  d921be3

  Copy full SHA for d921be3

• try fix

  nikitastupin-matterlabs

  committed
  5b50987

  Copy full SHA for 5b50987

• fix: error Command "l1" not found

  nikitastupin-matterlabs

  committed
  dee341f

  Copy full SHA for dee341f

• try without yarn

  nikitastupin-matterlabs

  committed
  3a3eb4f

  Copy full SHA for 3a3eb4f

• Revert "try without yarn"

  Show description for 4b1c976
  nikitastupin-matterlabs

  committed
  4b1c976

  Copy full SHA for 4b1c976

• cache yarn artifacts

  nikitastupin-matterlabs

  committed
  08deeca

  Copy full SHA for 08deeca

• turn off

  nikitastupin-matterlabs

  committed
  a4083b6

  Copy full SHA for a4083b6

• cache artifacts

  nikitastupin-matterlabs

  committed
  745548b

  Copy full SHA for 745548b

• add key parameter

  nikitastupin-matterlabs

  committed
  37c31a7

  Copy full SHA for 37c31a7

• try fix: Input required and not supplied: key

  nikitastupin-matterlabs

  committed
  9803096

  Copy full SHA for 9803096

• trigger the workflow

  nikitastupin-matterlabs

  committed
  67c1830

  Copy full SHA for 67c1830

• turn off caching

  nikitastupin-matterlabs

  committed
  11cc2f2

  Copy full SHA for 11cc2f2

• move invariant from test/foundry to test

  nikitastupin-matterlabs

  committed
  2e92d1b

  Copy full SHA for 2e92d1b

• turn off

  nikitastupin-matterlabs

  committed
  a38860e

  Copy full SHA for a38860e

• remove monkey patch

  nikitastupin-matterlabs

  committed
  0a81a63

  Copy full SHA for 0a81a63

• use the latest withdraw interface

  nikitastupin-matterlabs

  committed
  c6c4ac6

  Copy full SHA for c6c4ac6

• patch reverts

  nikitastupin-matterlabs

  committed
  dd63391

  Copy full SHA for dd63391

• cleanup

  nikitastupin-matterlabs

  committed
  4eb43c7

  Copy full SHA for 4eb43c7

Commits on Feb 10, 2025

• increase number of runs and depth

  nikitastupin-matterlabs

  committed
  c2b3ac4

  Copy full SHA for c2b3ac4

• more comprehensive withdraw handler

  nikitastupin-matterlabs

  committed
  3711e58

  Copy full SHA for 3711e58

• remove deployment of BridgedERC20 during setUp

  nikitastupin-matterlabs

  committed
  4fbc83b

  Copy full SHA for 4fbc83b

• improve readability

  nikitastupin-matterlabs

  committed
  ff743ff

  Copy full SHA for ff743ff

• improve readability

  nikitastupin-matterlabs

  committed
  74d8c6b

  Copy full SHA for 74d8c6b

• Move UserActorHandler out of L1AssetRouterActorHandler

  nikitastupin-matterlabs

  committed
  7b883e2

  Copy full SHA for 7b883e2

• add invariant_L1AssetRouterActorHandlerHasZeroBalance

  nikitastupin-matterlabs

  committed
  6289edc

  Copy full SHA for 6289edc

• add all UserActorHandlers as targets

  nikitastupin-matterlabs

  committed
  ac11ba9

  Copy full SHA for ac11ba9

• add finalizeDepositV2 and format

  nikitastupin-matterlabs

  committed
  843fc00

  Copy full SHA for 843fc00

• format

  nikitastupin-matterlabs

  committed
  863d390

  Copy full SHA for 863d390

• bind amount and format

  nikitastupin-matterlabs

  committed
  b26cddc

  Copy full SHA for b26cddc

• cleanup config

  nikitastupin-matterlabs

  committed
  0f97966

  Copy full SHA for 0f97966

Commits on Feb 11, 2025

• add README.md

  nikitastupin-matterlabs

  committed
  c5f83b8

  Copy full SHA for c5f83b8

• fix: array out-of-bounds access

  nikitastupin-matterlabs

  committed
  a2ed57b

  Copy full SHA for a2ed57b

• fix reverts

  nikitastupin-matterlabs

  committed
  dfed403

  Copy full SHA for dfed403