analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Change YAML witness columns to 1-indexed

Open sim642 opened this issue 1 year ago • 0 comments

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

  • [ ] Also affects ghost update locations in #1394.

sim642 avatar Apr 01 '24 15:04 sim642