Remove YAML witness 0.1 entry-types from svcomp-validate confs

sim642 · sim642 · commit e4e8fdf913f3 · 2025-10-29T11:33:38.000+02:00
diff --git a/conf/svcomp-validate.json b/conf/svcomp-validate.json
@@ -98,8 +98,6 @@
       "strict": true,
       "format-version": "2.0",
       "entry-types": [
-        "location_invariant",
-        "loop_invariant",
         "invariant_set",
         "violation_sequence"
       ],
diff --git a/conf/svcomp24-validate.json b/conf/svcomp24-validate.json
@@ -117,8 +117,6 @@
       "strict": true,
       "format-version": "2.0",
       "entry-types": [
-        "location_invariant",
-        "loop_invariant",
         "invariant_set"
       ],
       "invariant-types": [
diff --git a/conf/svcomp25-validate.json b/conf/svcomp25-validate.json
@@ -98,8 +98,6 @@
       "strict": true,
       "format-version": "2.0",
       "entry-types": [
-        "location_invariant",
-        "loop_invariant",
         "invariant_set",
         "violation_sequence"
       ],
