search

goblint / GobPie

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

Rename `exp.arg` → `exp.arg.enabled` #71

Closed sim642 closed 2 months ago

sim642 commented 3 months ago

Needed for https://github.com/goblint/analyzer/pull/1470.