From a4df61e00541eb321108bfb9163a096f28b26f93 Mon Sep 17 00:00:00 2001 From: Martin Spiessl Date: Mon, 30 Nov 2020 13:59:49 +0100 Subject: [PATCH] Introduce annotation for format version --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index e26a18e..26e32d6 100644 --- a/README.md +++ b/README.md @@ -20,6 +20,7 @@ i.e. for ``data`` tags that are direct children of the ``graph`` tag. | key | Meaning | Required | | --- | --- | --- | +| witness-format-version | *Valid values*: ``1.0``. When missing, the format version ``1.0`` is assumed | No | | witness-type | *Valid values:* ``correctness_witness`` or ``violation_witness``
``witness-type`` is used to specify the witness type. A correctness witness is identified by the value ``correctness_witness``, a violation witness is identified by the value ``violation_witness``. | Yes | | sourcecodelang | *Valid values:* Currently, only ``C`` and ``Java`` are supported.
``sourcecodelang`` is used to specify the name of the programming language, for example ``C``. | Yes | | producer | *Valid values:* Any
``producer`` is used to specify the name of the tool that produced the witness automaton, for example ``CPAchecker 1.6.8`` | Yes |