Use Goblint server mode

goblint / GobPie

Goblint IDE integration via MagpieBridge

MIT License

7 stars 4 forks source link

Use Goblint server mode #15

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

Once https://github.com/goblint/analyzer/pull/522 is merged into Goblint, it should be possible for GobPie to directly use a single Goblint instance via JSON-RPC to rerun the analysis.