Skip to content

Commit 23843e8

Browse files
committed
improve documentation
1 parent 6f59f10 commit 23843e8

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

docs/src/project_configuration/slither_config.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,8 @@
22

33
The [Slither](https://github.com/crytic/slither) configuration defines the parameters for using Slither in `medusa`.
44
Currently, we use Slither to extract interesting constants from the target system. These constants are then used in the
5-
fuzzing process to try to increase coverage.
5+
fuzzing process to try to increase coverage. Note that if Slither fails to run for some reason, we will still try our
6+
best to mine constants from each contract's AST so don't worry!
67

78
- > 🚩 We _highly_ recommend using Slither and caching the results. Basically, don't change this configuration unless
89
> absolutely necessary. The constants identified by Slither are shown to greatly improve system coverage and caching

0 commit comments

Comments
 (0)