Skip to content

Commit a3722b1

Browse files
committed
Update smtprc conf (displays only one warning!)
1 parent 8ff038b commit a3722b1

File tree

1 file changed

+8
-3
lines changed

1 file changed

+8
-3
lines changed

gobpie-demos/smtprc/smtprc.json

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,15 @@
1212
"base": {
1313
"privatization": "none",
1414
"context": {
15-
"non-ptr": false
15+
"non-ptr": false,
16+
"int": false,
17+
"interval": false
1618
}
1719
},
1820
"thread": {
1921
"domain": "plain",
20-
"include-node": false
22+
"include-node": false,
23+
"force-unique": ["thread_start"]
2124
},
2225
"malloc": {
2326
"wrappers": [
@@ -73,6 +76,8 @@
7376
"analyzer": false,
7477
"unsound": false,
7578
"imprecise": false,
76-
"unknown": false
79+
"unknown": false,
80+
"race-threshold": 110,
81+
"info": false
7782
}
7883
}

0 commit comments

Comments
 (0)