search

goblint / analyzer

Static analysis framework for C
https://goblint.in.tum.de
MIT License
160 stars 72 forks source link

Change YAML witness columns to 1-indexed #1400

Closed sim642 closed 2 months ago

sim642 commented 3 months ago

Builds on #1357.

Adapts to change of YAML witness format schema. Ultimate has already made the change, so we need to to remain compatible.

TODO