{
  "ana": {
    "activated": [
      "expRelation", "base", "threadid", "threadflag", "threadreturn",
      "escape", "mutexEvents", "mutex", "access", "mallocWrapper", "mhp",
      "symb_locks", "var_eq", "mallocFresh"
    ],
    "ctx_insens": [
      "var_eq"
    ],
    "base": {
      "privatization": "none",
      "context": {
        "non-ptr": false
      }
    },
    "thread": {
      "domain": "plain"
    },
    "malloc": {
      "wrappers": [
        "ZSTD_customMalloc",
        "ZSTD_customCalloc"
      ]
    }
  },
  "sem": {
    "unknown_function": {
      "spawn": false
    }
  },
  "incremental": {
    "reluctant": {
      "compare": "leq"
    },
    "restart": {
      "sided": {
        "enabled": false
      }
    }
  },
  "solvers": {
    "td3": {
      "restart": {
        "wpoint": {
          "enabled": false
        }
      }
    }
  },
  "exp": {
    "earlyglobs": true,
    "extraspecials": [
      "ZSTD_customMalloc",
      "ZSTD_customCalloc",
      "ZSTD_customFree"
    ]
  },
  "dbg": {
    "print_dead_code": true
  },
  "pre": {
    "cppflags": ["-DZSTD_NO_INTRINSICS", "-D_FORTIFY_SOURCE=0", "-DGOBLINT_NO_ASSERT", "-DGOBLINT_NO_BSEARCH"]
  },
  "cil": {
    "merge": {
      "inlines": false
    }
  },
  "printstats": true,
  "warn": {
    "assert": false,
    "behavior": false,
    "integer": false,
    "cast": false,
    "race": true,
    "deadcode": false,
    "analyzer": false,
    "unsound": false,
    "imprecise": false,
    "unknown": false,
    "error": false,
    "warning": true,
    "info": false,
    "debug": false,
    "success": false
  }
}

Add conf for precise zstd race detection
Add conf for precise zstd race detection
