Skip to content

YAML witness entry type invariant_set #1238

@sim642

Description

@sim642

The YAML correctness witness format was changed: https://gitlab.com/sosy-lab/benchmarking/sv-witnesses/-/merge_requests/71#note_1631514154. In the validator meeting it was decided that this (version 2.0) would be the definite format for SV-COMP 2024. So all tools should adapt.

Metadata

Metadata

Assignees

Labels

featuresv-compSV-COMP (analyses, results), witnesses

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions