meta-config.json

{
  "mode": "debug",
  "max_printing_size": 1000,
  "debug_tags": [
    // "preprocess",
    // "ntyping",
    // "typing",
    // "desymbolic",
    // "smt_regex",
    "result",
    "never-use"
  ],
    "logfile": ".log",
    "resfile": ".result",
    "statfile": ".stat",
    "benchmark_table_file": "data/benchmark.json",
    "uninterops": [
        "not",
        "mod",
        "parent",
        "is_dir",
        "is_del",
        "is_root",
        "elem_eq",
        "elem_lt",
        "color_eq",
        "node_eq",
        "cell_eq"
    ],
    "prim_path": {
        "qualifier_builtin_type": "data/predefined/qualifier_builtin_type.ml",
        "data_type_decls": "data/predefined/data_type_decls.ml",
        "builtin_libfunc_typing": "data/predefined/builtin_libfunc_typing.ml",
        "builtin_pure_typing": "data/predefined/builtin_pure_typing.ml",
        "builtin_eff_typing": "data/predefined/builtin_eff_typing.ml",
        "builtin_automata_pred_typing": "data/predefined/builtin_automata_pred_typing.ml",
        "builtin_normal_typing": "data/predefined/builtin_normal_typing.ml",
        "builtin_axioms": "data/predefined/builtin_axioms.ml"
    }
}