search

goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
7 stars 4 forks source link

Use location ranges provided by Goblint #12

Closed sim642 closed 2 years ago

sim642 commented 2 years ago

Once https://github.com/goblint/analyzer/pull/449 is merged, GobPie should use those ranges instead of its own ; finding heuristic for finding end locations. The locations in JSON output will have additional endLine and endColumn fields.