From 35f6d0000f61e2565e9e9ab86bf2279fd8ebce7a Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Wed, 4 Oct 2023 11:54:54 +0300
Subject: [PATCH] Disable free races in svcomp

They should be considered MemSafety issues instead.
---
 conf/svcomp.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/conf/svcomp.json b/conf/svcomp.json
index d6c07387a8..16c4ef338e 100644
--- a/conf/svcomp.json
+++ b/conf/svcomp.json
@@ -61,6 +61,9 @@
         "domain": "partitioned"
       }
     },
+    "race": {
+      "free": false
+    },
     "autotune": {
       "enabled": true,
       "activated": [