From cbe4ad0cb57f57b19e6f009c30c033cc9f5b0eb8 Mon Sep 17 00:00:00 2001
From: Julian Erhard <julian.erhard@tum.de>
Date: Wed, 15 Nov 2023 15:21:39 +0100
Subject: [PATCH] Add termination to autotune for svcomp.json, but remove it
 from svcomp23.json.

---
 conf/svcomp.json   | 3 ++-
 conf/svcomp23.json | 3 +--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/conf/svcomp.json b/conf/svcomp.json
index 73f99500b9..107c59994c 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -71,7 +71,8 @@
         "octagon",
         "wideningThresholds",
         "loopUnrollHeuristic",
-        "memsafetySpecification"
+        "memsafetySpecification",
+        "termination"
       ]
     }
   },
diff --git a/conf/svcomp23.json b/conf/svcomp23.json
index f46ae13e86..af584f1593 100644
--- a/conf/svcomp23.json
+++ b/conf/svcomp23.json
@@ -70,8 +70,7 @@
         "congruence",
         "octagon",
         "wideningThresholds",
-        "loopUnrollHeuristic",
-        "termination"
+        "loopUnrollHeuristic"
       ]
     }
   },