Add symb_locks to ldv-races conf

sim642 · sim642 · commit 1fbf9105c125 · 2022-04-13T14:20:19.000Z
diff --git a/conf/ldv-races.json b/conf/ldv-races.json
@@ -27,7 +27,9 @@
       "access",
       "escape",
       "expRelation",
-      "mhp"
+      "mhp",
+      "var_eq",
+      "symb_locks"
     ],
     "malloc": {
       "wrappers": [
