Add tmpSpecial to analyses, termination to aututoner.

goblint · Nov 19, 2023 · 67e311c · 67e311c
1 parent 15935f6
commit 67e311c
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/conf/svcomp24.json b/conf/svcomp24.json
@@ -30,7 +30,8 @@
       "symb_locks",
       "region",
       "thread",
-      "threadJoins"
+      "threadJoins",
+      "tmpSpecial"
     ],
     "path_sens": [
       "mutex",
@@ -85,7 +86,8 @@
         "octagon",
         "wideningThresholds",
         "loopUnrollHeuristic",
-        "memsafetySpecification"
+        "memsafetySpecification",
+        "termination"
       ]
     }
   },