Skip to content

Conversation

sim642
Copy link
Member

@sim642 sim642 commented Sep 4, 2025

These were part of YAML witness 0.1 as special entries produced by validators, but they were never used for anything and were removed in YAML witness 2.0 format anyway.
It's not worth keeping the support around.

@sim642 sim642 added this to the v2.7.0 Bamboozled Buffalo milestone Sep 4, 2025
@sim642 sim642 added cleanup Refactoring, clean-up sv-comp SV-COMP (analyses, results), witnesses labels Sep 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cleanup Refactoring, clean-up sv-comp SV-COMP (analyses, results), witnesses
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant