search

goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

Warnings repositioning #43

Closed karoliineh closed 1 year ago

karoliineh commented 1 year ago

The changes in GobPie related to showing the results of warnings repositioning analysis /goblint/analyzer#914.