Commit 871bc75
committed
deterministic profiler output and search efficiency
- addresses latest feedback for PR #119 ;
- profile-codeql-query-from-logs: remove non-deterministic `Generated:`
timestamp from detail file header to ensure reproducible output for
integration test fixtures ;
- search-ql-code: early-exit file processing once maxResults matches are
collected; subsequent files are scanned cheaply for totalMatches count
only, avoiding large array allocations and context extraction ;1 parent fad2f61 commit 871bc75
File tree
6 files changed
+47
-6
lines changed- client/integration-tests/primitives/tools/profile_codeql_query_from_logs
- multi_query_raw_log/after
- single_query_raw_log/after
- server
- dist
- src/tools/codeql
6 files changed
+47
-6
lines changedLines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
61796 | 61796 | | |
61797 | 61797 | | |
61798 | 61798 | | |
61799 | | - | |
61800 | 61799 | | |
61801 | 61800 | | |
61802 | 61801 | | |
| |||
63055 | 63054 | | |
63056 | 63055 | | |
63057 | 63056 | | |
| 63057 | + | |
63058 | 63058 | | |
| 63059 | + | |
| 63060 | + | |
| 63061 | + | |
| 63062 | + | |
| 63063 | + | |
| 63064 | + | |
| 63065 | + | |
| 63066 | + | |
| 63067 | + | |
| 63068 | + | |
| 63069 | + | |
| 63070 | + | |
| 63071 | + | |
| 63072 | + | |
63059 | 63073 | | |
63060 | 63074 | | |
63061 | 63075 | | |
63062 | 63076 | | |
63063 | 63077 | | |
63064 | 63078 | | |
63065 | 63079 | | |
| 63080 | + | |
| 63081 | + | |
| 63082 | + | |
63066 | 63083 | | |
63067 | 63084 | | |
63068 | 63085 | | |
| |||
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
108 | 108 | | |
109 | 109 | | |
110 | 110 | | |
111 | | - | |
112 | 111 | | |
113 | 112 | | |
114 | 113 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
288 | 288 | | |
289 | 289 | | |
290 | 290 | | |
| 291 | + | |
291 | 292 | | |
292 | 293 | | |
| 294 | + | |
| 295 | + | |
| 296 | + | |
| 297 | + | |
| 298 | + | |
| 299 | + | |
| 300 | + | |
| 301 | + | |
| 302 | + | |
| 303 | + | |
| 304 | + | |
| 305 | + | |
| 306 | + | |
| 307 | + | |
| 308 | + | |
| 309 | + | |
| 310 | + | |
| 311 | + | |
| 312 | + | |
| 313 | + | |
293 | 314 | | |
294 | 315 | | |
295 | 316 | | |
| |||
298 | 319 | | |
299 | 320 | | |
300 | 321 | | |
| 322 | + | |
| 323 | + | |
| 324 | + | |
| 325 | + | |
301 | 326 | | |
302 | 327 | | |
303 | 328 | | |
| |||
0 commit comments