random_search_config.json

{
  "compile_config": {
    "import_stmts": [],
    "packages": [
      "base"
    ],
    "mod_base": [],
    "additional_targets": [],
    "hole_lvl": 0,
    "hole_depth": 1,
    "unfold_tasty_tests": true,
    "temp_dir_base": "./fake_targets",
    "par_checks": true,
    "randomize_hpc_dir": true,
    "randomize_hi_dir": true,
    "use_interpreted": true,
    "timeout": 1000000,
    "precompute_fixes": true,
    "keep_looping_fixes": false,
    "allow_function_fits": true,
    "exclude_targets": [],
    "extend_defaults": false,
    "filter_incorrect_fixes": true
  },
  "output_config": {
    "locale": null,
    "directory": "./output-patches-",
    "overwrite": false,
    "save_patches": true
  },
  "search_algorithm": {
    "tag": "Random",
    "contents": {
      "rand_search_budget": 300,
      "rand_max_fix_size": 10,
      "rand_ignore_failing": true,
      "rand_stop_on_results": true
    }
  },
  "log_config": {
    "log_loc": false,
    "log_level": "WARN",
    "log_timestamp": true,
    "log_file": null
  },
  "random_seed": -3573107736776896000
}