Skip to content

Commit b3838d3

Browse files
jerhardjerhard
committed
Move confs for figlet, chrony, zstd into bench repo, adapt scripts for it.
1 parent 6333415 commit b3838d3

File tree

9 files changed

+691
-11
lines changed

9 files changed

+691
-11
lines changed

‎scripts/incremental/benchmarking/conf/chrony-incrpostsolver.json‎

Lines changed: 114 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,114 @@
1+
{
2+
"ana": {
3+
"activated": [
4+
"expRelation",
5+
"base",
6+
"threadid",
7+
"threadflag",
8+
"threadreturn",
9+
"escape",
10+
"mutexEvents",
11+
"mutex",
12+
"access",
13+
"mallocWrapper",
14+
"mhp",
15+
"symb_locks",
16+
"var_eq",
17+
"mallocFresh",
18+
"race"
19+
],
20+
"ctx_insens": [
21+
"var_eq"
22+
],
23+
"base": {
24+
"privatization": "none",
25+
"context": {
26+
"non-ptr": false
27+
}
28+
},
29+
"thread": {
30+
"domain": "plain",
31+
"include-node": false
32+
},
33+
"race": {
34+
"free": false
35+
},
36+
"dead-code": {
37+
"lines": true
38+
},
39+
"int": {
40+
"interval": true,
41+
"def_exc": true
42+
},
43+
"malloc": {
44+
"wrappers": [
45+
"Malloc",
46+
"Realloc",
47+
"Malloc2",
48+
"Realloc2",
49+
"ARR_CreateInstance",
50+
"realloc_array",
51+
"ARR_GetNewElement"
52+
]
53+
}
54+
},
55+
"sem": {
56+
"unknown_function": {
57+
"spawn": false,
58+
"invalidate": {
59+
"globals": false,
60+
"args": false
61+
}
62+
}
63+
},
64+
"solvers": {
65+
"td3": {
66+
"restart": {
67+
"wpoint": {
68+
"enabled": false
69+
}
70+
}
71+
}
72+
},
73+
"exp": {
74+
"earlyglobs": true
75+
},
76+
"cil": {
77+
"merge": {
78+
"inlines": false
79+
}
80+
},
81+
"dbg": {
82+
"timing": {
83+
"enabled": true
84+
}
85+
},
86+
"warn": {
87+
"assert": false,
88+
"behavior": false,
89+
"integer": false,
90+
"cast": false,
91+
"race": true,
92+
"deadcode": true,
93+
"analyzer": false,
94+
"unsound": true,
95+
"imprecise": false,
96+
"unknown": false,
97+
"error": false,
98+
"warning": true,
99+
"info": false,
100+
"debug": false,
101+
"success": true
102+
},
103+
"incremental": {
104+
"postsolver": {
105+
"enabled": true
106+
},
107+
"restart": {
108+
"sided": {
109+
"enabled": false
110+
},
111+
"write-only": true
112+
}
113+
}
114+
}

‎scripts/incremental/benchmarking/conf/chrony.json‎

Lines changed: 114 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,114 @@
1+
{
2+
"ana": {
3+
"activated": [
4+
"expRelation",
5+
"base",
6+
"threadid",
7+
"threadflag",
8+
"threadreturn",
9+
"escape",
10+
"mutexEvents",
11+
"mutex",
12+
"access",
13+
"mallocWrapper",
14+
"mhp",
15+
"symb_locks",
16+
"var_eq",
17+
"mallocFresh",
18+
"race"
19+
],
20+
"ctx_insens": [
21+
"var_eq"
22+
],
23+
"base": {
24+
"privatization": "none",
25+
"context": {
26+
"non-ptr": false
27+
}
28+
},
29+
"thread": {
30+
"domain": "plain",
31+
"include-node": false
32+
},
33+
"race": {
34+
"free": false
35+
},
36+
"dead-code": {
37+
"lines": true
38+
},
39+
"int": {
40+
"interval": true,
41+
"def_exc": true
42+
},
43+
"malloc": {
44+
"wrappers": [
45+
"Malloc",
46+
"Realloc",
47+
"Malloc2",
48+
"Realloc2",
49+
"ARR_CreateInstance",
50+
"realloc_array",
51+
"ARR_GetNewElement"
52+
]
53+
}
54+
},
55+
"sem": {
56+
"unknown_function": {
57+
"spawn": false,
58+
"invalidate": {
59+
"globals": false,
60+
"args": false
61+
}
62+
}
63+
},
64+
"solvers": {
65+
"td3": {
66+
"restart": {
67+
"wpoint": {
68+
"enabled": false
69+
}
70+
}
71+
}
72+
},
73+
"exp": {
74+
"earlyglobs": true
75+
},
76+
"cil": {
77+
"merge": {
78+
"inlines": false
79+
}
80+
},
81+
"dbg": {
82+
"timing": {
83+
"enabled": true
84+
}
85+
},
86+
"warn": {
87+
"assert": false,
88+
"behavior": false,
89+
"integer": false,
90+
"cast": false,
91+
"race": true,
92+
"deadcode": true,
93+
"analyzer": false,
94+
"unsound": true,
95+
"imprecise": false,
96+
"unknown": false,
97+
"error": false,
98+
"warning": true,
99+
"info": false,
100+
"debug": false,
101+
"success": true
102+
},
103+
"incremental": {
104+
"postsolver": {
105+
"enabled": false
106+
},
107+
"restart": {
108+
"sided": {
109+
"enabled": false
110+
},
111+
"write-only": true
112+
}
113+
}
114+
}

‎scripts/incremental/benchmarking/conf/figlet-incrpostsolver.json‎

Lines changed: 103 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,103 @@
1+
{
2+
"ana": {
3+
"activated": [
4+
"expRelation",
5+
"base",
6+
"threadid",
7+
"threadflag",
8+
"threadreturn",
9+
"escape",
10+
"mutexEvents",
11+
"mutex",
12+
"access",
13+
"mallocWrapper",
14+
"mhp",
15+
"symb_locks",
16+
"var_eq",
17+
"mallocFresh",
18+
"race"
19+
],
20+
"ctx_insens": [
21+
"var_eq"
22+
],
23+
"base": {
24+
"privatization": "none",
25+
"context": {
26+
"non-ptr": false
27+
}
28+
},
29+
"thread": {
30+
"domain": "plain",
31+
"include-node": false
32+
},
33+
"race": {
34+
"free": false
35+
},
36+
"dead-code": {
37+
"lines": true
38+
},
39+
"int": {
40+
"interval": true,
41+
"def_exc": true
42+
}
43+
},
44+
"sem": {
45+
"unknown_function": {
46+
"spawn": false,
47+
"invalidate": {
48+
"globals": false,
49+
"args": false
50+
}
51+
}
52+
},
53+
"solvers": {
54+
"td3": {
55+
"restart": {
56+
"wpoint": {
57+
"enabled": false
58+
}
59+
}
60+
}
61+
},
62+
"exp": {
63+
"earlyglobs": true
64+
},
65+
"cil": {
66+
"merge": {
67+
"inlines": false
68+
}
69+
},
70+
"dbg": {
71+
"timing": {
72+
"enabled": true
73+
}
74+
},
75+
"warn": {
76+
"assert": false,
77+
"behavior": false,
78+
"integer": false,
79+
"cast": false,
80+
"race": true,
81+
"deadcode": true,
82+
"analyzer": false,
83+
"unsound": true,
84+
"imprecise": false,
85+
"unknown": false,
86+
"error": false,
87+
"warning": true,
88+
"info": false,
89+
"debug": false,
90+
"success": true
91+
},
92+
"incremental": {
93+
"postsolver": {
94+
"enabled": true
95+
},
96+
"restart": {
97+
"sided": {
98+
"enabled": false
99+
},
100+
"write-only": true
101+
}
102+
}
103+
}

0 commit comments

Comments
 (0)