Add description of violation-witness schema (!79) · Merge requests · SoSy-Lab / Benchmarking / SV-Witnesses · GitLab

Thomas Lemberger requested to merge add-description-of-violation-witness-schema into main Nov 21, 2023

Partially from https://gitlab.com/sosy-lab/benchmarking/sv-witnesses/-/blob/main/doc/README-YAML.md, partially educated guess-work to start discussion on the semantics.

This includes the GitLab Pages setup and HTML generation from !61 , slightly adjusted because we do not have a combined schema so far.

Result for easier inspection: https://sosy-lab.gitlab.io/-/benchmarking/sv-witnesses/-/jobs/5588643017/artifacts/public/yaml/violation-witness-schema.html

Edited Nov 21, 2023 by Thomas Lemberger