docker_config.json

{
  "compile_config": {
    "import_stmts": [],
    "packages": [
      "base",
      "process",
      "check-helpers",
      "QuickCheck"
    ],
    "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/output-patches-",
    "overwrite": false,
    "save_patches": true
  },
  "search_algorithm": {
    "tag": "Genetic",
    "contents": {
      "mutation_rate": 0.3,
      "crossover_rate": 0.4,
      "iterations": 50,
      "population_size": 64,
      "timeout_in_seconds": 300,
      "stop_on_results": false,
      "elitism_rate": 1,
      "drop_rate": 0.25,
      "max_fix_size_step": 1,
      "try_minimize_fixes": false,
      "replace_winners": true,
      "use_parallel_map": true
    }
  },
  "log_config": {
    "log_loc": false,
    "log_level": "WARN",
    "log_timestamp": true,
    "log_file": null
  },
  "random_seed": 42
}