-
Notifications
You must be signed in to change notification settings - Fork 25
/
config.json
138 lines (138 loc) · 3.84 KB
/
config.json
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
{
"name": "k-dss",
"url": "https://github.com/dapphub/k-dss/",
"src": {
"specification": "./src/dss.md",
"smt_prelude": "./src/prelude.smt2.md",
"rules": [
"./src/storage.k.md",
"./src/lemmas.k.md"
],
"dirty_rules": [
"./src/dirty_lemmas.k.md"
]
},
"implementations": {
"Vat": {
"src": "src/vat.sol"
},
"Vow": {
"src": "src/vow.sol"
},
"Dai": {
"src": "src/dai.sol"
},
"Jug": {
"src": "src/jug.sol"
},
"Pot": {
"src": "src/pot.sol"
},
"Cat": {
"src": "src/cat.sol"
},
"GemJoin": {
"src": "src/join.sol"
},
"DaiJoin": {
"src": "src/join.sol"
},
"Flipper": {
"src": "src/flip.sol"
},
"Flopper": {
"src": "src/flop.sol"
},
"Flapper": {
"src": "src/flap.sol"
},
"DSToken": {
"src": "lib/ds-token/src/token.sol"
},
"End": {
"src": "src/end.sol"
},
"DSValue": {
"src": "lib/ds-value/src/value.sol"
},
"Spotter": {
"src": "src/spot.sol"
}
},
"split_fail":[
],
"timeouts": {
"Vat_grab_pass_rough": "16h",
"Vat_grab_fail_rough": "16h",
"Vat_frob-diff-nonzero_pass_rough": "16h",
"Vat_frob-diff-nonzero_fail_rough": "2d",
"Vat_frob-diff-zero-dink_pass_rough": "16h",
"Vat_frob-diff-zero-dink_fail_rough": "2d",
"Vat_frob-diff-zero-dink_pass": "36h",
"Vat_frob-diff-zero-dart_pass_rough": "16h",
"Vat_frob-diff-zero-dart_fail_rough": "2d",
"Vat_frob-diff-zero_pass_rough": "16h",
"Vat_frob-diff-zero_fail_rough": "2d",
"Vat_frob-same-nonzero_pass_rough": "16h",
"Vat_frob-same-nonzero_fail_rough": "2d",
"Vat_frob-same-zero-dink_pass_rough": "16h",
"Vat_frob-same-zero-dink_fail_rough": "2d",
"Vat_frob-same-zero-dink_pass": "2d",
"Vat_frob-same-zero-dart_pass_rough": "16h",
"Vat_frob-same-zero-dart_fail_rough": "2d",
"Vat_frob-same-zero_pass_rough": "16h",
"Vat_frob-same-zero_fail_rough": "2d",
"Vat_fork-diff_pass_rough": "16h",
"Vat_fork-diff_fail_rough": "16h",
"Vat_fork-same_pass_rough": "16h",
"Vat_fork-same_fail_rough": "2d",
"Cat_bite-full_pass_rough": "3d",
"Cat_bite-full_pass": "3d",
"Cat_bite-full_fail_rough": "3d",
"Cat_bite-lump_pass_rough": "3d",
"Cat_bite-lump_pass": "46h",
"Cat_bite-lump_fail_rough": "3d",
"End_free_pass_rough": "16h",
"End_skim_pass_rough": "16h",
"End_skim_fail_rough": "24h",
"End_bail_pass_rough": "16h",
"End_bail_fail_rough": "24h",
"End_skip_pass_rough": "42h",
"End_skip_pass": "42h",
"End_skip_fail_rough": "36h",
"Flipper_dent_fail_rough": "16h",
"Flopper_dent_fail_rough": "16h",
"Flipper_tend_fail_rough": "16h",
"Flapper_tend_fail_rough": "2d",
"Flapper_deal_fail_rough": "16h",
"Pot_drip_fail_rough": "16h",
"Jug_drip_fail_rough": "16h",
"Vow_cage-surplus_fail_rough": "16h",
"Vow_cage-deficit_fail_rough": "16h",
"Vow_cage-balance_fail_rough": "16h",
"End_cage-surplus_fail_rough": "35h",
"End_cage-deficit_fail_rough": "35h",
"End_cage-balance_fail_rough": "35h"
},
"memory" : {
"Vat_frob-diff-nonzero_fail_rough": "25G",
"Vat_frob-diff-zero-dink_fail_rough": "20G",
"Vat_frob-diff-zero-dart_fail_rough": "20G",
"Vat_frob-diff-zero_fail_rough": "20G",
"Vat_frob-same-nonzero_fail_rough": "25G",
"Vat_frob-same-zero_fail_rough": "25G",
"Flapper_tend_fail_rough": "20G",
"Cat_bite-full_pass_rough": "22G",
"Cat_bite-full_pass": "22G",
"Cat_bite-full_fail_rough": "30G",
"Cat_bite-lump_pass_rough": "22G",
"Cat_bite-lump_pass": "22G",
"Cat_bite-lump_fail_rough": "35G",
"End_skip_pass_rough": "20G",
"End_skip_fail_rough": "20G",
"End_skim_fail_rough": "20G",
"End_bail_fail_rough": "20G"
},
"dapp_root": "./dss",
"host": "127.0.0.1:8080"
}