Code

Add symbolic tests with Halmos#445

Code

Open

daejunpark wants to merge 4 commits intochiru-labs:mainchiru-labs/ERC721A:mainfrom daejunpark:halmosdaejunpark/ERC721A:halmosCopy head branch name to clipboard

+416

Commits

Commits on Feb 17, 2023

• Add symbolic tests with Halmos

  daejunpark

  committed
  0f21d22

  Copy full SHA for 0f21d22

• Update Halmos tests for batched burn preparation

  daejunpark

  committed
  3e3d7b8

  Copy full SHA for 3e3d7b8

• Split Halmos run into two

  daejunpark

  committed
  0d7b2e4

  Copy full SHA for 0d7b2e4

• Split Halmos runs

  daejunpark

  committed
  6b8f212

  Copy full SHA for 6b8f212