Code

fix(zk): invariant testing#581

Code

Merged

Karrq merged 18 commits intomainmatter-labs/foundry-zksync:mainfrom tests/invariant-handlermatter-labs/foundry-zksync:tests/invariant-handlerCopy head branch name to clipboardSep 20, 2024

+256-35

Commits

Commits on Sep 16, 2024

• test(zk): add #565 repro

  Karrq

  committed
  cba3f00

Commits on Sep 17, 2024

• test(zk:565): fix invariant and use zkVmSkip

  Karrq

  committed
  2160d4e

• fix(zk): use constant test addr for zkvm skip test

  Karrq

  committed
  6dd3697

• test(zk): proper basic invariant test

  Karrq

  committed
  0ac687a

• test(zk:invariant): add direct invariant test

  Show description for 00abdb3
  Karrq

  committed
  00abdb3

• chore: lints & formatting

  Karrq

  committed
  ad2e0ca

• Merge remote-tracking branch 'origin/main' into tests/invariant-handler

  Karrq

  committed
  f543525

Commits on Sep 18, 2024

• refactor(test:zk): edit runner test opts

  Show description for dafd779
  Karrq

  committed
  dafd779

• fix(zk): use get_test_contract_address

  Karrq

  committed
  e2f45bb

• fix(backend): don't set test contract on each init

  Karrq

  committed
  b527bc7

• chore: lints

  Karrq

  committed
  bb84cb8

• Merge remote-tracking branch 'origin/main' into tests/invariant-handler

  Karrq

  committed
  dd4bf5a

Commits on Sep 19, 2024

• fix(executor): set_test_contract even w/o setup

  Karrq

  committed
  db7193f

• test(zk): filter test to specific contract

  Karrq

  committed
  999c389

• Merge remote-tracking branch 'origin/main' into tests/invariant-handler

  Karrq

  committed
  7da65f3

Commits on Sep 20, 2024

• refactor(zk): simplify test contract check

  Show description for 10c35da
  

  Karrq

  and

  nbaztec

  authored
  10c35da

• chore: fmt

  Karrq

  committed
  05f2e2e

• Merge branch 'main' into tests/invariant-handler

  Karrq

  authored
  062a19c