deepsec_ui/mock-data/run/run.json at master · DeepSec-prover/deepsec_ui · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
{
  "deepsec_version": "1.0.1",
  "run_hash": "7edac0743c53770f91f8243309b2502dc66e0b4f",
  "git_branch": "master",
  "git_hash": "7edac0743c53770f91f8243309b2502dc66e0b4f",
  "input_file": "./specification.1.dps",
  "start_time": 1565438580,
  "end_time": 1565441160,
  "import_date": 1567499340,
  "command_options": [
    {
      "label": "nb_jobs",
      "value": "60"
    },
    {
      "label": "round_timer",
      "value": 120
    },
    {
      "label": "no_display_attack_trace",
      "value": false
    },
    {
      "label": "default_semantics",
      "value": "private"
    },
    {
      "label": "distant_workers",
      "value": [
        {
          "host": "my_login@my_host",
          "path": "/deepsec/path/on/my/host",
          "nb_workers": 10
        }
      ]
    },
    {
      "label": "without_por",
      "value": false
    },
    {
      "label": "distributed",
      "value": 0
    }
  ],
  "query_result_files": [
    "./query_completed.json",
    "./query_in_progress.json"
  ]
}