Code

fix: check properties during testing#456

Code

Merged

DavePearce merged 1 commit intomainConsensys/go-corset:mainfrom 455-fix-testing-with-defpropertyConsensys/go-corset:455-fix-testing-with-defpropertyCopy head branch name to clipboardDec 18, 2024

+7-3

Commits

Commits on Dec 18, 2024

• Check properties during testing

  Show description for e80a127
  DavePearce

  committed
  e80a127

  Copy full SHA for e80a127