diff --git a/src/common/util/options.schema.json b/src/common/util/options.schema.json index a51c5c59cf..5993c5b1e4 100644 --- a/src/common/util/options.schema.json +++ b/src/common/util/options.schema.json @@ -2418,6 +2418,16 @@ "type": "boolean", "default": false }, + "format-version": { + "title": "witness.yaml.format-version", + "description": "YAML witness format version", + "type": "string", + "enum": [ + "0.1", + "2.0" + ], + "default": "0.1" + }, "entry-types": { "title": "witness.yaml.entry-types", "description": "YAML witness entry types to output/input.", diff --git a/src/witness/yamlWitness.ml b/src/witness/yamlWitness.ml index 2c0340a997..019ee67813 100644 --- a/src/witness/yamlWitness.ml +++ b/src/witness/yamlWitness.ml @@ -25,7 +25,7 @@ struct let uuid = Uuidm.v4_gen uuid_random_state () in let creation_time = TimeUtil.iso8601_now () in { - format_version = "0.1"; + format_version = GobConfig.get_string "witness.yaml.format-version"; uuid = Uuidm.to_string uuid; creation_time; producer;