Analyze directory using compilation database - Githubissues

goblint / GobPie

Goblint IDE integration via MagpieBridge

MIT License

7 stars 4 forks source link

Analyze directory using compilation database #13

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

Once https://github.com/goblint/analyzer/pull/448 is merged, GobPie should analyze the current directory (where goblint.json is) instead of individual opened files.

Here filesToAnalyze should just be ".": https://github.com/goblint/GobPie/blob/c772b9a46138dfd1c8279366ccc82ef087e68803/src/main/java/GoblintAnalysis.java#L113