Code

test: invariant basic properties#47

Code

Merged

0xRaccoon merged 28 commits intotest/invariantsallo-protocol/allo-v2.1:test/invariantsfrom test/invariant-basic-propertiesallo-protocol/allo-v2.1:test/invariant-basic-propertiesCopy head branch name to clipboardOct 29, 2024

+460-283

Commits

Commits on Oct 23, 2024

• test: add basic invariant properties

  Show description for 3c1a9b5
  0xRaccoon

  committed
  3c1a9b5

• fix: add mising import

  Show description for a5d360c
  0xRaccoon

  committed
  a5d360c

• fix: add missing admin set

  Show description for 716ef73
  0xRaccoon

  committed
  716ef73

• test: add invariant test properties

  Show description for 387a085
  0xRaccoon

  committed
  387a085

• test: update PROPERTIES.md

  Show description for 47df96a
  0xRaccoon

  committed
  47df96a

Commits on Oct 24, 2024

• test: remove test properties constraints

  Show description for 261d610
  0xRaccoon

  committed
  261d610

• fix: updated tests and partially tackled pr comments

  Show description for 4805dc8
  0xRaccoon

  committed
  4805dc8

• fix: linter

  Show description for 08ef593
  0xRaccoon

  committed
  08ef593

• fix: linter

  Show description for 7963817
  0xRaccoon

  committed
  7963817

• fix: linter

  Show description for 5b8ec7d
  0xRaccoon

  committed
  5b8ec7d

Commits on Oct 25, 2024

• fix: addressed pr comments

  Show description for 03a3f5f
  0xRaccoon

  committed
  03a3f5f

• fix: addressed pr comments

  Show description for 973814b
  0xRaccoon

  committed
  973814b

• fix: rollback foundry fmt exclude removal

  Show description for cbff194
  0xRaccoon

  committed
  cbff194

• fix: remove yarn.lock

  Show description for 9b994ea
  0xRaccoon

  committed
  9b994ea

• fix: properties

  Show description for 59f07c4
  0xRaccoon

  committed
  59f07c4

• fix: properties test

  Show description for 345e961
  0xRaccoon

  committed
  345e961

• fix: properties test

  Show description for 4f02578
  0xRaccoon

  committed
  4f02578

Commits on Oct 29, 2024

• fix: addressed pr comments

  Show description for 38cf7c3
  0xRaccoon

  committed
  38cf7c3

• Merge branch 'test/invariants' of github-defi:allo-protocol/allo-v2.1 into test/invariant-basic-properties

  Show description for 7224964
  0xRaccoon

  committed
  7224964

• fix: tests

  Show description for c8b5d6e
  0xRaccoon

  committed
  c8b5d6e

• test: add admin assertions

  Show description for 5ea6141
  0xRaccoon

  committed
  5ea6141

• fix: assertion text

  Show description for 9c5ac9a
  0xRaccoon

  committed
  9c5ac9a

• fix: invariant properties

  Show description for 857580c
  0xRaccoon

  committed
  857580c

• fix: invariant properties assertions

  Show description for 3b6a0a7
  0xRaccoon

  committed
  3b6a0a7

• fix: invariant tests

  Show description for d50ac94
  0xRaccoon

  committed
  d50ac94

• fix: invariant properties test

  Show description for 74a3805
  0xRaccoon

  committed
  74a3805

• fix: invariant properties

  Show description for 517a9a3
  0xRaccoon

  committed
  517a9a3

• test: fix invariant test assertion

  Show description for eb5636b
  0xRaccoon

  committed
  eb5636b