Create on-line documentation for schemas

Running benchcomp man result.yaml should display an annotated schema of the result.yaml format, which is what benchcomp collate emits (i.e. the unified format to be processed by benchcomp action). This is to help users understand how to interpret that file when post-processing it or writing their own action. * Running benchcomp man suite.yaml should display an annotated schema of the suite.yaml format, which is what benchcomp parsers are expected to emit. This is to help users understand how to write a new parser.

Navigation Menu