github.com/DARA-Project/GoDist-Scheduler@v0.0.0-20201030134746-668de4acea0d/overlord/configs/Deadlock_build_script.json (about)

     1  {
     2      "exec" : {
     3          "path" : "../examples/Deadlock_test/MapCrash.go",
     4          "size" : "400M",
     5          "processes" : 1,
     6          "sched" : "Schedule.json",
     7          "loglevel" : "INFO",
     8          "fast_replay" : true,
     9          "build" : {
    10              "build_path" : "../examples/Deadlock_test/build.sh",
    11              "run_path" : "run.sh"
    12          }
    13      },
    14      "instr" : {
    15          "dir" : "./example",
    16          "file" : ""
    17      },
    18      "bench" : {
    19          "path" : "stats.csv",
    20          "iter" : 1
    21      }
    22  }