Code

Add Halmos testing#182

Code

Open

maxweng wants to merge 3 commits intomasterunioncredit/union-v2-contracts:masterfrom feature/uni-2055-use-halmons-on-all-contractsunioncredit/union-v2-contracts:feature/uni-2055-use-halmons-on-all-contractsCopy head branch name to clipboard

+772-3

Commits

Commits on Oct 23, 2024

• forge install: halmos-cheatcodes

  twygod

  committed
  1d5ac61

  Copy full SHA for 1d5ac61

Commits on Oct 25, 2024

• new: add halmos test

  twygod

  committed
  d7e2abb

  Copy full SHA for d7e2abb

Commits on Oct 30, 2024

• chg: add halmos to ci

  maxweng

  committed
  b4f37c2

  Copy full SHA for b4f37c2