properties icon indicating copy to clipboard operation
properties copied to clipboard
verified publisher icon crytic

Fix #43: Rename util files to match contract names

Open nisedo opened this issue 1 month ago • 0 comments

Fixes #43

Renames files in contracts/util/ to match their contract/interface names:

  • PropertiesHelper.sol → PropertiesAsserts.sol
  • Hevm.sol → IHevm.sol

Updates all import statements across the codebase and README documentation.

nisedo avatar Nov 26 '25 10:11 nisedo