Revert "feat: echidna test run"

This reverts commit cbd1171.
Steveantor · Sep 1, 2023 · 2d4a744 · 2d4a744
1 parent cbd1171
commit 2d4a744
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 40 deletions.
diff --git a/.github/workflows/echidna-test.yml b/.github/workflows/echidna-test.yml
diff --git a/.gitmodules b/.gitmodules
@@ -30,7 +30,4 @@
 	path = packages/contracts/lib/Uniswap/v3-periphery
 	url = https://github.com/Uniswap/v3-periphery.git
 	branch= main
-[submodule "packages/contracts/lib/properties"]
-	path = packages/contracts/lib/properties
-	url = https://github.com/crytic/properties
-	branch= main
+
diff --git a/lib/properties b/lib/properties