SmarDex-Ecosystem · lilyanB · Feb 4, 2025 · Feb 4, 2025 · Feb 4, 2025
diff --git a/flake.nix b/flake.nix
@@ -32,7 +32,6 @@
             nodejs-slim_20
             foundry-bin
             lcov
-            slither-analyzer
           ];
 
           shellHook = ''

diff --git a/foundry.toml b/foundry.toml
@@ -4,6 +4,7 @@ libs = ["dependencies"]
 ffi = true
 fuzz = { runs = 100_000 }
 remappings = ["forge-std-1/=dependencies/forge-std-1.9.4/src/"]
+allow_internal_expect_revert = true
 
 [profile.default.fmt]
 line_length = 120
@@ -24,4 +25,4 @@ forge-std = "1"
 
 [profile.ci]
 verbosity = 3
-fuzz = { runs = 256 }
+fuzz = { runs = 256 }
diff --git a/package.json b/package.json
@@ -31,7 +31,6 @@
     "prepare": "husky",
     "quicktest": "forge test -vvv --no-match-test \"(FFI|Fork|Fuzz|invariant)\" --no-match-contract Fork --offline",
     "quicktest:gas": "npm run quicktest -- --gas-report",
-    "slither": "slither .",
     "test": "forge test -vvv"
   },
   "directories": {

diff --git a/slither.config.json b/slither.config.json