diff --git a/flake.nix b/flake.nix index 902d9c0..7ac914d 100644 --- 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 index 58db656..5b5f646 100644 --- 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 } \ No newline at end of file diff --git a/package.json b/package.json index ba6640a..7713e8e 100644 --- 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 deleted file mode 100644 index 3ebbf0f..0000000 --- a/slither.config.json +++ /dev/null @@ -1,9 +0,0 @@ -{ - "exclude_informational": true, - "exclude_low": true, - "exclude_medium": false, - "exclude_high": false, - "disable_color": false, - "filter_paths": "(node_modules/|dependencies/|test/|script/|examples/|Example.*|.*Test.*|.t.sol|.s.sol|.script.sol)", - "legacy_ast": false -}