search

goblint / GobPie

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

Read and show contexts in warnings if available #69

Closed karoliineh closed 6 months ago

karoliineh commented 6 months ago

Relates to https://github.com/goblint/analyzer/pull/1365.

Adds a feature to see context tags in warnings for easier matching of warnings to contexts when using the abstract debugger.