Disable ana.base.branch.refine-pointer-by-pointee in large-program conf

sim642 · sim642 · commit 1104f8c3e35c · 2026-04-08T14:38:52.000+03:00
diff --git a/conf/examples/large-program.json b/conf/examples/large-program.json
@@ -7,6 +7,9 @@
         "privatization": "none",
         "context": {
           "non-ptr": false
+        },
+        "branch": {
+          "refine-pointer-by-pointee": false
         }
       },
       "thread": {
