Revert "Merge branch 'chore/setup-medusa' into feat/halmos-symbolic-t…

…ests" This reverts commit 945d6b6, reversing changes made to 5dcb3a8.
defi-wonderland · Aug 14, 2024 · 15c04d5 · 15c04d5
1 parent 945d6b6
commit 15c04d5
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 504 deletions.
diff --git a/packages/contracts-bedrock/.gitignore b/packages/contracts-bedrock/.gitignore
@@ -6,7 +6,6 @@ broadcast
 kout-deployment
 kout-proofs
 test/kontrol/logs
-test/properties/medusa/corpus/
 
 # Metrics
 coverage.out

diff --git a/packages/contracts-bedrock/foundry.toml b/packages/contracts-bedrock/foundry.toml
@@ -95,8 +95,3 @@ src = 'test/kontrol/proofs'
 out = 'kout-proofs'
 test = 'test/kontrol/proofs'
 script = 'test/kontrol/proofs'
-
-[profile.medusa]
-src = 'test/properties/medusa/'
-test = 'test/properties/medusa/'
-script = 'test/properties/medusa/'
diff --git a/packages/contracts-bedrock/medusa.json b/packages/contracts-bedrock/medusa.json
diff --git a/packages/contracts-bedrock/package.json b/packages/contracts-bedrock/package.json
diff --git a/packages/contracts-bedrock/test/properties/PROPERTIES.md b/packages/contracts-bedrock/test/properties/PROPERTIES.md
diff --git a/packages/contracts-bedrock/test/properties/SUMMARY.md b/packages/contracts-bedrock/test/properties/SUMMARY.md
diff --git a/packages/contracts-bedrock/test/properties/helpers/MockCrossDomainMessenger.t.sol b/packages/contracts-bedrock/test/properties/helpers/MockCrossDomainMessenger.t.sol