diff --git a/conf/svcomp.json b/conf/svcomp.json
index 107c59994c..cc6d1e303a 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -72,7 +72,8 @@
         "wideningThresholds",
         "loopUnrollHeuristic",
         "memsafetySpecification",
-        "termination"
+        "termination",
+        "specification"
       ]
     }
   },