We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent cdb6f44 commit 29dff59Copy full SHA for 29dff59
lib/Echidna/SourceAnalysis/Slither.hs
@@ -148,7 +148,7 @@ runSlither :: FilePath -> SolConf -> IO SlitherInfo
148
runSlither fp solConf = if solConf.disableSlither
149
then do
150
hPutStrLn stderr $
151
- "WARNING: slither was expliticly disabled. Echidna uses Slither (https://github.com/crytic/slither)"
+ "WARNING: Slither was explicitly disabled. Echidna uses Slither (https://github.com/crytic/slither)"
152
<> " to perform source analysis, which makes fuzzing more effective. You should enable it."
153
pure emptySlitherInfo
154
else findExecutable "slither" >>= \case
0 commit comments