We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
I am using the extension in a workspace with multiple projects.
⸻ Analysis: 0 succeeded, 1 failed, 0 skipped ⸻ Refreshing explorer... Loaded 0 issues, displaying 0 ⸻ Starting analysis ⸻ Error: Error in workspace "/Users/.../.../gitlab/audit": undefined
On startup, the slither extension usually works, but every so often, when I rerun the command Slither: Analyze, the extension fails with this error.
Slither: Analyze
The text was updated successfully, but these errors were encountered:
I have reproduced the error by defining "detectors_to_run" in slither.config.json:
slither.config.json
"detectors_to_run": "reentrancy-eth,reentrancy-no-eth,reentrancy-unlimited-gas"
When I remove this line it resolves the issue.
Sorry, something went wrong.
No branches or pull requests
I am using the extension in a workspace with multiple projects.
On startup, the slither extension usually works, but every so often, when I rerun the command
Slither: Analyze
, the extension fails with this error.The text was updated successfully, but these errors were encountered: