Merge pull request #42 from defi-wonderland/chore/deprecate-halmos

chore: remove halmos testsuite
defi-wonderland · Sep 4, 2024 · 9d3123b · 9d3123b
2 parents 553deb9 + fea2dc5
commit 9d3123b
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 312 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -29,9 +29,6 @@
 [submodule "packages/contracts-bedrock/lib/openzeppelin-contracts-v5"]
 	path = packages/contracts-bedrock/lib/openzeppelin-contracts-v5
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts
-[submodule "packages/contracts-bedrock/lib/halmos-cheatcodes"]
-	path = packages/contracts-bedrock/lib/halmos-cheatcodes
-	url = https://github.com/a16z/halmos-cheatcodes
 [submodule "packages/contracts-bedrock/lib/properties"]
 	path = packages/contracts-bedrock/lib/properties
 	url = https://github.com/crytic/properties
diff --git a/packages/contracts-bedrock/foundry.toml b/packages/contracts-bedrock/foundry.toml
@@ -23,7 +23,6 @@ remappings = [
   'safe-contracts/=lib/safe-contracts/contracts',
   'kontrol-cheatcodes/=lib/kontrol-cheatcodes/src',
   'gelato/=lib/automate/contracts',
-  'halmos-cheatcodes/=lib/halmos-cheatcodes/'
 ]
 extra_output = ['devdoc', 'userdoc', 'metadata', 'storageLayout']
 bytecode_hash = 'none'
@@ -104,8 +103,3 @@ src = 'test/properties/medusa/'
 test = 'test/properties/medusa/'
 script = 'test/properties/medusa/'
 via-ir=true
-
-[profile.halmos]
-src = 'test/properties/halmos/'
-test = 'test/properties/halmos/'
-script = 'test/properties/halmos/'
diff --git a/packages/contracts-bedrock/halmos.toml b/packages/contracts-bedrock/halmos.toml
diff --git a/packages/contracts-bedrock/justfile b/packages/contracts-bedrock/justfile
@@ -25,13 +25,6 @@ test-kontrol:
 test-medusa timeout='100':
   FOUNDRY_PROFILE=medusa medusa fuzz --timeout {{timeout}}
 
-
-test-halmos-all VERBOSE="-v":
-  FOUNDRY_PROFILE=halmos halmos {{VERBOSE}}
-
-test-halmos TEST VERBOSE="-v":
-  FOUNDRY_PROFILE=halmos halmos --function {{TEST}} {{VERBOSE}}
-
 test-rerun: build-go-ffi
   forge test --rerun -vvv
 

diff --git a/packages/contracts-bedrock/lib/halmos-cheatcodes b/packages/contracts-bedrock/lib/halmos-cheatcodes
diff --git a/packages/contracts-bedrock/test/properties/halmos/MockL2ToL2Messenger.sol b/packages/contracts-bedrock/test/properties/halmos/MockL2ToL2Messenger.sol
diff --git a/packages/contracts-bedrock/test/properties/halmos/OptimismSuperchainERC20.t.sol b/packages/contracts-bedrock/test/properties/halmos/OptimismSuperchainERC20.t.sol
diff --git a/packages/contracts-bedrock/test/properties/helpers/HalmosBase.sol b/packages/contracts-bedrock/test/properties/helpers/HalmosBase.sol