Add error description when the witness version does not match#970

Merged

PhilippWendler merged 1 commit intomainfrom witness-linter

Nov 20, 2023

+5

Commits on Nov 20, 2023

Since there are 2 types of witnesses currently (GraphML and YAML), there is now an option in the witness linter to set the expected format version (1.0 for GraphML and at least 2.0 for YAML). This …
Marian Lingsch-Rosenfeld
committed