meta-config.json

{
    "mode": "debug",
    "max_printing_size": 300,
    "debug_info": {
        "show_preprocess": false,
        "show_typing": false,
        "show_queries": false,
        "show_solving": false,
        "show_stat": false,
        "show_info": false
    },
    "logfile": ".log",
    "resfile": ".result",
    "benchmark_table_file": "config/benchmark.json",
    "prim_path": {
        "data_type_decls": "data/predefined/data_type_decls.ml",
        "normal_typing": "data/predefined/normal_typing.mli",
        "axioms_of_predicates": "data/predefined/axioms_of_predicates.ml",
        "axioms_of_query_encoding": "data/predefined/axioms_of_query_encoding.ml",
        "builtin_coverage_typing": "data/predefined/builtin_coverage_typing.ml",
        "builtin_randomness_coverage_typing": "data/predefined/builtin_randomness_coverage_typing.ml",
        "builtin_datatype_coverage_typing": "data/predefined/builtin_datatype_coverage_typing",
        "rev_builtin_datatype_coverage_typing": "data/predefined/rev_builtin_datatype_coverage_typing"
    }
}