Merge pull request #1593 from goblint/svcomp25-no-exclude-vars

Remove witness `exclude-vars` from svcomp conf

Author: sim642

conf/svcomp.json

@@ -107,17 +107,7 @@
       "after-lock": false,
       "other": false,
       "accessed": false,
-      "exact": true,
-      "exclude-vars": [
-        "tmp\\(___[0-9]+\\)?",
-        "cond",
-        "RETURN",
-        "__\\(cil_\\)?tmp_?[0-9]*\\(_[0-9]+\\)?",
-        ".*____CPAchecker_TMP_[0-9]+",
-        "__VERIFIER_assert__cond",
-        "__ksymtab_.*",
-        "\\(ldv_state_variable\\|ldv_timer_state\\|ldv_timer_list\\|ldv_irq_\\(line_\\|data_\\)?[0-9]+\\|ldv_retval\\)_[0-9]+"
-      ]
+      "exact": true
     }
   },
   "pre": {