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? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Once goblint/analyzer#448 is merged, GobPie should analyze the current directory (where goblint.json is) instead of individual opened files.
goblint.json
Here filesToAnalyze should just be ".":
filesToAnalyze
"."
GobPie/src/main/java/GoblintAnalysis.java
Line 113 in c772b9a
The text was updated successfully, but these errors were encountered:
karoliineh
Successfully merging a pull request may close this issue.
Once goblint/analyzer#448 is merged, GobPie should analyze the current directory (where
goblint.json
is) instead of individual opened files.Here
filesToAnalyze
should just be"."
:GobPie/src/main/java/GoblintAnalysis.java
Line 113 in c772b9a
The text was updated successfully, but these errors were encountered: