config-sample.json

{
  "processes": [
    {
      "process_id": "node0",
      "actions": [
        "InitiateProbe()",
        "\\E i \\in {1, 2} : SendMsg(0, i)",
        "Deactivate(0)"
      ]
    },
    {
      "process_id": "node1",
      "actions": [
        "PassToken(1)",
        "\\E i \\in {0, 2} : SendMsg(1, i)",
        "Deactivate(1)"
      ]
    },
    {
      "process_id": "node2",
      "actions": [
        "PassToken(2)",
        "\\E i \\in {0, 1} : SendMsg(2, i)",
        "Deactivate(2)"
      ]
    }
  ],
  "shared_variables": ["tcolor", "tpos", "active"],
  "constants": [
    {
      "name": "N",
      "value": "3"
    }
  ],
  "init": "Init",
  "next": "Next",
  "module_name": "EWD840",
  "input_format": "json",
  "input_file": "EWD840.json",
  "state_graph": "states.json",
  "blackbox_tests": [{"name": "Termination", "trace": "trace.out"}],
  "destination_folder": "../../elixir"
}