When I try to use warnalyzer in the way described:
To run warnalyzer, invoke it via warnalyzer . It will generate the needed .scip file in the target directory.
I get the error:
$ warnalyzer .
Error: StrErr("Is a directory (os error 21)")
The current working dir is a Rust workspace.
When I try to use
warnalyzerin the way described:I get the error:
The current working dir is a Rust workspace.