Skip to content
Snippets Groups Projects
Commit 48d8c108 authored by Thibault Martin's avatar Thibault Martin
Browse files

[tests] Update test oracles

parent ec163d51
No related branches found
No related tags found
No related merge requests found
Expand all Hide whitespace changes
Inline Side-by-side
Showing
with 480 additions and 480 deletions
src/plugins/markdown-report/tests/sarif/oracle/std_string.sarif
+ 288
− 288
View file @ 48d8c108
......@@ -2958,10 +2958,10 @@
},
"region": {
"startLine": 50,
"startColumn": 12,
"startColumn": 13,
"endLine": 50,
"endColumn": 13,
"byteLength": 1
"endColumn": 31,
"byteLength": 18
}
}
}
......@@ -5427,10 +5427,10 @@
},
"region": {
"startLine": 583,
"startColumn": 12,
"startColumn": 13,
"endLine": 583,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -5496,10 +5496,10 @@
},
"region": {
"startLine": 583,
"startColumn": 12,
"startColumn": 13,
"endLine": 583,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -5684,10 +5684,10 @@
},
"region": {
"startLine": 386,
"startColumn": 12,
"startColumn": 13,
"endLine": 386,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -5707,10 +5707,10 @@
},
"region": {
"startLine": 386,
"startColumn": 12,
"startColumn": 13,
"endLine": 386,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -5730,10 +5730,10 @@
},
"region": {
"startLine": 386,
"startColumn": 12,
"startColumn": 13,
"endLine": 386,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -5914,10 +5914,10 @@
},
"region": {
"startLine": 386,
"startColumn": 12,
"startColumn": 13,
"endLine": 386,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -6035,10 +6035,10 @@
},
"region": {
"startLine": 386,
"startColumn": 12,
"startColumn": 13,
"endLine": 386,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -6058,10 +6058,10 @@
},
"region": {
"startLine": 386,
"startColumn": 12,
"startColumn": 13,
"endLine": 386,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -6081,10 +6081,10 @@
},
"region": {
"startLine": 386,
"startColumn": 12,
"startColumn": 13,
"endLine": 386,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -6948,10 +6948,10 @@
},
"region": {
"startLine": 526,
"startColumn": 12,
"startColumn": 13,
"endLine": 526,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -7017,10 +7017,10 @@
},
"region": {
"startLine": 526,
"startColumn": 12,
"startColumn": 13,
"endLine": 526,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8166,10 +8166,10 @@
},
"region": {
"startLine": 404,
"startColumn": 12,
"startColumn": 13,
"endLine": 404,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8189,10 +8189,10 @@
},
"region": {
"startLine": 404,
"startColumn": 12,
"startColumn": 13,
"endLine": 404,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8212,10 +8212,10 @@
},
"region": {
"startLine": 404,
"startColumn": 12,
"startColumn": 13,
"endLine": 404,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8373,10 +8373,10 @@
},
"region": {
"startLine": 404,
"startColumn": 12,
"startColumn": 13,
"endLine": 404,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8544,10 +8544,10 @@
},
"region": {
"startLine": 404,
"startColumn": 12,
"startColumn": 13,
"endLine": 404,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8567,10 +8567,10 @@
},
"region": {
"startLine": 404,
"startColumn": 12,
"startColumn": 13,
"endLine": 404,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8590,10 +8590,10 @@
},
"region": {
"startLine": 404,
"startColumn": 12,
"startColumn": 13,
"endLine": 404,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -8995,10 +8995,10 @@
},
"region": {
"startLine": 268,
"startColumn": 5,
"startColumn": 6,
"endLine": 275,
"endColumn": 1,
"byteLength": 225
"byteLength": 224
}
}
}
......@@ -9018,10 +9018,10 @@
},
"region": {
"startLine": 268,
"startColumn": 5,
"startColumn": 6,
"endLine": 275,
"endColumn": 1,
"byteLength": 225
"byteLength": 224
}
}
}
......@@ -9041,10 +9041,10 @@
},
"region": {
"startLine": 268,
"startColumn": 5,
"startColumn": 6,
"endLine": 275,
"endColumn": 1,
"byteLength": 225
"byteLength": 224
}
}
}
......@@ -9271,10 +9271,10 @@
},
"region": {
"startLine": 268,
"startColumn": 5,
"startColumn": 6,
"endLine": 275,
"endColumn": 1,
"byteLength": 225
"byteLength": 224
}
}
}
......@@ -9551,10 +9551,10 @@
},
"region": {
"startLine": 30,
"startColumn": 4,
"startColumn": 6,
"endLine": 42,
"endColumn": 1,
"byteLength": 379
"byteLength": 377
}
}
}
......@@ -9900,10 +9900,10 @@
},
"region": {
"startLine": 88,
"startColumn": 4,
"startColumn": 6,
"endLine": 118,
"endColumn": 1,
"byteLength": 1223
"byteLength": 1221
}
}
}
......@@ -10788,10 +10788,10 @@
},
"region": {
"startLine": 45,
"startColumn": 4,
"startColumn": 6,
"endLine": 58,
"endColumn": 1,
"byteLength": 396
"byteLength": 394
}
}
}
......@@ -11137,10 +11137,10 @@
},
"region": {
"startLine": 134,
"startColumn": 4,
"startColumn": 6,
"endLine": 141,
"endColumn": 1,
"byteLength": 144
"byteLength": 142
}
}
}
......@@ -12964,10 +12964,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -12987,10 +12987,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13010,10 +13010,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13033,10 +13033,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13263,10 +13263,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13309,10 +13309,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13509,10 +13509,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13532,10 +13532,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13555,10 +13555,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13578,10 +13578,10 @@
},
"region": {
"startLine": 453,
"startColumn": 12,
"startColumn": 13,
"endLine": 453,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -13603,10 +13603,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -13628,10 +13628,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -13653,10 +13653,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -13676,10 +13676,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -13929,10 +13929,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -14104,10 +14104,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -14127,10 +14127,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -14150,10 +14150,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -14173,10 +14173,10 @@
},
"region": {
"startLine": 489,
"startColumn": 12,
"startColumn": 13,
"endLine": 489,
"endColumn": 13,
"byteLength": 1
"endColumn": 25,
"byteLength": 12
}
}
}
......@@ -14198,10 +14198,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -14221,10 +14221,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -14246,10 +14246,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -14271,10 +14271,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -14296,10 +14296,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -14321,10 +14321,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -14896,10 +14896,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -15292,10 +15292,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -15317,10 +15317,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -15342,10 +15342,10 @@
},
"region": {
"startLine": 807,
"startColumn": 12,
"startColumn": 13,
"endLine": 807,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -15365,10 +15365,10 @@
},
"region": {
"startLine": 308,
"startColumn": 22,
"startColumn": 23,
"endLine": 308,
"endColumn": 23,
"byteLength": 1
"endColumn": 29,
"byteLength": 6
}
}
}
......@@ -15981,10 +15981,10 @@
},
"region": {
"startLine": 230,
"startColumn": 4,
"startColumn": 6,
"endLine": 237,
"endColumn": 1,
"byteLength": 141
"byteLength": 139
}
}
}
......@@ -16309,10 +16309,10 @@
},
"region": {
"startLine": 255,
"startColumn": 12,
"startColumn": 13,
"endLine": 255,
"endColumn": 13,
"byteLength": 1
"endColumn": 23,
"byteLength": 10
}
}
}
......@@ -16401,10 +16401,10 @@
},
"region": {
"startLine": 255,
"startColumn": 12,
"startColumn": 13,
"endLine": 255,
"endColumn": 13,
"byteLength": 1
"endColumn": 23,
"byteLength": 10
}
}
}
......@@ -16449,10 +16449,10 @@
},
"region": {
"startLine": 195,
"startColumn": 4,
"startColumn": 6,
"endLine": 204,
"endColumn": 1,
"byteLength": 174
"byteLength": 172
}
}
}
......@@ -16754,10 +16754,10 @@
},
"region": {
"startLine": 251,
"startColumn": 5,
"startColumn": 6,
"endLine": 258,
"endColumn": 1,
"byteLength": 158
"byteLength": 157
}
}
}
......@@ -16777,10 +16777,10 @@
},
"region": {
"startLine": 251,
"startColumn": 5,
"startColumn": 6,
"endLine": 258,
"endColumn": 1,
"byteLength": 158
"byteLength": 157
}
}
}
......@@ -16800,10 +16800,10 @@
},
"region": {
"startLine": 251,
"startColumn": 5,
"startColumn": 6,
"endLine": 258,
"endColumn": 1,
"byteLength": 158
"byteLength": 157
}
}
}
......@@ -16823,10 +16823,10 @@
},
"region": {
"startLine": 251,
"startColumn": 5,
"startColumn": 6,
"endLine": 258,
"endColumn": 1,
"byteLength": 158
"byteLength": 157
}
}
}
......@@ -17076,10 +17076,10 @@
},
"region": {
"startLine": 251,
"startColumn": 5,
"startColumn": 6,
"endLine": 258,
"endColumn": 1,
"byteLength": 158
"byteLength": 157
}
}
}
......@@ -17124,10 +17124,10 @@
},
"region": {
"startLine": 195,
"startColumn": 12,
"startColumn": 13,
"endLine": 195,
"endColumn": 13,
"byteLength": 1
"endColumn": 22,
"byteLength": 9
}
}
}
......@@ -17193,10 +17193,10 @@
},
"region": {
"startLine": 195,
"startColumn": 12,
"startColumn": 13,
"endLine": 195,
"endColumn": 13,
"byteLength": 1
"endColumn": 22,
"byteLength": 9
}
}
}
......@@ -17498,10 +17498,10 @@
},
"region": {
"startLine": 220,
"startColumn": 4,
"startColumn": 6,
"endLine": 227,
"endColumn": 1,
"byteLength": 137
"byteLength": 135
}
}
}
......@@ -17849,10 +17849,10 @@
},
"region": {
"startLine": 316,
"startColumn": 5,
"startColumn": 6,
"endLine": 326,
"endColumn": 1,
"byteLength": 159
"byteLength": 158
}
}
}
......@@ -17872,10 +17872,10 @@
},
"region": {
"startLine": 316,
"startColumn": 5,
"startColumn": 6,
"endLine": 326,
"endColumn": 1,
"byteLength": 159
"byteLength": 158
}
}
}
......@@ -17895,10 +17895,10 @@
},
"region": {
"startLine": 316,
"startColumn": 5,
"startColumn": 6,
"endLine": 326,
"endColumn": 1,
"byteLength": 159
"byteLength": 158
}
}
}
......@@ -18079,10 +18079,10 @@
},
"region": {
"startLine": 316,
"startColumn": 5,
"startColumn": 6,
"endLine": 326,
"endColumn": 1,
"byteLength": 159
"byteLength": 158
}
}
}
......@@ -18102,10 +18102,10 @@
},
"region": {
"startLine": 316,
"startColumn": 5,
"startColumn": 6,
"endLine": 326,
"endColumn": 1,
"byteLength": 159
"byteLength": 158
}
}
}
......@@ -18248,10 +18248,10 @@
},
"region": {
"startLine": 316,
"startColumn": 5,
"startColumn": 6,
"endLine": 326,
"endColumn": 1,
"byteLength": 159
"byteLength": 158
}
}
}
......@@ -18411,10 +18411,10 @@
},
"region": {
"startLine": 302,
"startColumn": 5,
"startColumn": 6,
"endLine": 313,
"endColumn": 1,
"byteLength": 217
"byteLength": 216
}
}
}
......@@ -18503,10 +18503,10 @@
},
"region": {
"startLine": 302,
"startColumn": 5,
"startColumn": 6,
"endLine": 313,
"endColumn": 1,
"byteLength": 217
"byteLength": 216
}
}
}
......@@ -19230,10 +19230,10 @@
},
"region": {
"startLine": 207,
"startColumn": 4,
"startColumn": 6,
"endLine": 218,
"endColumn": 1,
"byteLength": 233
"byteLength": 231
}
}
}
......@@ -19253,10 +19253,10 @@
},
"region": {
"startLine": 207,
"startColumn": 4,
"startColumn": 6,
"endLine": 218,
"endColumn": 1,
"byteLength": 233
"byteLength": 231
}
}
}
......@@ -19276,10 +19276,10 @@
},
"region": {
"startLine": 207,
"startColumn": 4,
"startColumn": 6,
"endLine": 218,
"endColumn": 1,
"byteLength": 233
"byteLength": 231
}
}
}
......@@ -19913,10 +19913,10 @@
},
"region": {
"startLine": 239,
"startColumn": 5,
"startColumn": 6,
"endLine": 249,
"endColumn": 1,
"byteLength": 198
"byteLength": 197
}
}
}
......@@ -19936,10 +19936,10 @@
},
"region": {
"startLine": 239,
"startColumn": 5,
"startColumn": 6,
"endLine": 249,
"endColumn": 1,
"byteLength": 198
"byteLength": 197
}
}
}
......@@ -19959,10 +19959,10 @@
},
"region": {
"startLine": 239,
"startColumn": 5,
"startColumn": 6,
"endLine": 249,
"endColumn": 1,
"byteLength": 198
"byteLength": 197
}
}
}
......@@ -20262,10 +20262,10 @@
},
"region": {
"startLine": 329,
"startColumn": 5,
"startColumn": 6,
"endLine": 344,
"endColumn": 1,
"byteLength": 291
"byteLength": 290
}
}
}
......@@ -20285,10 +20285,10 @@
},
"region": {
"startLine": 329,
"startColumn": 5,
"startColumn": 6,
"endLine": 344,
"endColumn": 1,
"byteLength": 291
"byteLength": 290
}
}
}
......@@ -20310,10 +20310,10 @@
},
"region": {
"startLine": 329,
"startColumn": 5,
"startColumn": 6,
"endLine": 344,
"endColumn": 1,
"byteLength": 291
"byteLength": 290
}
}
}
......@@ -20496,10 +20496,10 @@
},
"region": {
"startLine": 329,
"startColumn": 5,
"startColumn": 6,
"endLine": 344,
"endColumn": 1,
"byteLength": 291
"byteLength": 290
}
}
}
......@@ -20519,10 +20519,10 @@
},
"region": {
"startLine": 329,
"startColumn": 5,
"startColumn": 6,
"endLine": 344,
"endColumn": 1,
"byteLength": 291
"byteLength": 290
}
}
}
......@@ -20669,10 +20669,10 @@
},
"region": {
"startLine": 329,
"startColumn": 5,
"startColumn": 6,
"endLine": 344,
"endColumn": 1,
"byteLength": 291
"byteLength": 290
}
}
}
......@@ -20901,10 +20901,10 @@
},
"region": {
"startLine": 234,
"startColumn": 12,
"startColumn": 13,
"endLine": 234,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -20993,10 +20993,10 @@
},
"region": {
"startLine": 234,
"startColumn": 12,
"startColumn": 13,
"endLine": 234,
"endColumn": 13,
"byteLength": 1
"endColumn": 20,
"byteLength": 7
}
}
}
......@@ -21041,10 +21041,10 @@
},
"region": {
"startLine": 260,
"startColumn": 5,
"startColumn": 6,
"endLine": 266,
"endColumn": 1,
"byteLength": 165
"byteLength": 164
}
}
}
......@@ -21064,10 +21064,10 @@
},
"region": {
"startLine": 260,
"startColumn": 5,
"startColumn": 6,
"endLine": 266,
"endColumn": 1,
"byteLength": 165
"byteLength": 164
}
}
}
......@@ -21087,10 +21087,10 @@
},
"region": {
"startLine": 260,
"startColumn": 5,
"startColumn": 6,
"endLine": 266,
"endColumn": 1,
"byteLength": 165
"byteLength": 164
}
}
}
......@@ -21110,10 +21110,10 @@
},
"region": {
"startLine": 260,
"startColumn": 5,
"startColumn": 6,
"endLine": 266,
"endColumn": 1,
"byteLength": 165
"byteLength": 164
}
}
}
......@@ -21317,10 +21317,10 @@
},
"region": {
"startLine": 260,
"startColumn": 5,
"startColumn": 6,
"endLine": 266,
"endColumn": 1,
"byteLength": 165
"byteLength": 164
}
}
}
......@@ -21413,10 +21413,10 @@
},
"region": {
"startLine": 350,
"startColumn": 12,
"startColumn": 13,
"endLine": 350,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -21555,10 +21555,10 @@
},
"region": {
"startLine": 348,
"startColumn": 5,
"startColumn": 6,
"endLine": 359,
"endColumn": 1,
"byteLength": 224
"byteLength": 223
}
}
}
......@@ -21647,10 +21647,10 @@
},
"region": {
"startLine": 348,
"startColumn": 5,
"startColumn": 6,
"endLine": 359,
"endColumn": 1,
"byteLength": 224
"byteLength": 223
}
}
}
......@@ -21908,10 +21908,10 @@
},
"region": {
"startLine": 286,
"startColumn": 5,
"startColumn": 6,
"endLine": 298,
"endColumn": 1,
"byteLength": 380
"byteLength": 379
}
}
}
......@@ -22000,10 +22000,10 @@
},
"region": {
"startLine": 286,
"startColumn": 5,
"startColumn": 6,
"endLine": 298,
"endColumn": 1,
"byteLength": 380
"byteLength": 379
}
}
}
......@@ -23038,10 +23038,10 @@
},
"region": {
"startLine": 299,
"startColumn": 12,
"startColumn": 13,
"endLine": 299,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -23061,10 +23061,10 @@
},
"region": {
"startLine": 299,
"startColumn": 12,
"startColumn": 13,
"endLine": 299,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -23084,10 +23084,10 @@
},
"region": {
"startLine": 299,
"startColumn": 12,
"startColumn": 13,
"endLine": 299,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -23633,10 +23633,10 @@
},
"region": {
"startLine": 299,
"startColumn": 12,
"startColumn": 13,
"endLine": 299,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -23656,10 +23656,10 @@
},
"region": {
"startLine": 299,
"startColumn": 12,
"startColumn": 13,
"endLine": 299,
"endColumn": 13,
"byteLength": 1
"endColumn": 19,
"byteLength": 6
}
}
}
......@@ -23679,10 +23679,10 @@
},
"region": {
"startLine": 343,
"startColumn": 12,
"startColumn": 13,
"endLine": 343,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -23702,10 +23702,10 @@
},
"region": {
"startLine": 343,
"startColumn": 12,
"startColumn": 13,
"endLine": 343,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -23725,10 +23725,10 @@
},
"region": {
"startLine": 343,
"startColumn": 12,
"startColumn": 13,
"endLine": 343,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -24343,10 +24343,10 @@
},
"region": {
"startLine": 343,
"startColumn": 12,
"startColumn": 13,
"endLine": 343,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......@@ -24366,10 +24366,10 @@
},
"region": {
"startLine": 343,
"startColumn": 12,
"startColumn": 13,
"endLine": 343,
"endColumn": 13,
"byteLength": 1
"endColumn": 21,
"byteLength": 8
}
}
}
......
tests/syntax/oracle/multiple_decls_contracts.0.res.oracle
+ 2
− 2
View file @ 48d8c108
[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] multiple_decls_contracts.c:10: Warning:
dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
[kernel] multiple_decls_contracts.c:11: Warning:
dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
/* Generated by Frama-C */
#include "errno.h"
#include "stddef.h"
......
tests/syntax/oracle/multiple_decls_contracts.1.res.oracle
+ 2
− 2
View file @ 48d8c108
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] multiple_decls_contracts.c:10: Warning:
dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
[kernel] multiple_decls_contracts.c:11: Warning:
dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
/* Generated by Frama-C */
#include "errno.h"
#include "stddef.h"
......
tests/syntax/oracle/multiple_decls_contracts.2.res.oracle
+ 2
− 2
View file @ 48d8c108
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing multiple_decls_contracts.c (with preprocessing)
[kernel] Parsing FRAMAC_SHARE/libc/string.h (with preprocessing)
[kernel] multiple_decls_contracts.c:10: Warning:
dropping duplicate def'n of func strdup at multiple_decls_contracts.c:10 in favor of that at multiple_decls_contracts.c:10
[kernel] multiple_decls_contracts.c:11: Warning:
dropping duplicate def'n of func strdup at multiple_decls_contracts.c:11 in favor of that at multiple_decls_contracts.c:11
/* Generated by Frama-C */
#include "errno.h"
#include "stddef.h"
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment