-
Notifications
You must be signed in to change notification settings - Fork 11
New issue
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
Error: spawn slither-lsp ENOENT (PATH issue) #52
Comments
Can you get to a state where running
The features that are currently implemented are mostly navigation features (right click to go to definition/implementation/references, show call/type hierarchy) and showing the SlithIR for functions |
Like so? contract-explorer.webmIt doesn't complain with any errors. I also tried setting debug level higher but the effect is the same. I don't see any of the features you mentioned as an option to select anywhere unfortunately. |
There's a notification in the bottom right that compilation of the workspace has failed. That's probably the issue. |
But why is that? I can compile fine outside of the extension with both slither and crytic-compile. And plugin still fails to work outside of the developer installation (from marketplace). |
This is a PATH issue still I think. I changed to foundry repository outside of the regular directory with contract-explorer2.webm |
You're still running slither-lsp in TCP mode. Have you tried my suggestions of running Apart from that, I couldn't really see what was happening from the screen recording. What should be happening is the following: a notification showing "compilation for |
Hey, just bringing it up to your attention.
This PR is still relevant. Extension has problem finding slither-lsp, even if
echo $PATH
lists appropriate directories (and,slither-lsp
is installed). This happens for both global and venv active python interpreter.The only way to run extension, for me, was to do the dev-installation and point to the specific slither-lsp server running. However, even with that, the currently released version seems to be missing some functionality. Below is the only visible display. Plugin doesn't seem to do anything else than just allowing to toggle options for detection filters.
The text was updated successfully, but these errors were encountered: