Activate assert analysis in traces-rel-toy conf

sim642 · sim642 · commit 67e8da6f1286 · 2022-10-20T10:36:10.000+03:00
diff --git a/conf/traces-rel-toy.json b/conf/traces-rel-toy.json
@@ -13,7 +13,8 @@
       "mallocWrapper",
       "mhp",
       "apron",
-      "threadJoins"
+      "threadJoins",
+      "assert"
     ],
     "path_sens": [
       "mutex",
