diff options
| author | Dylan DPC <99973273+Dylan-DPC@users.noreply.github.com> | 2022-10-21 17:29:58 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-21 17:29:58 +0530 |
| commit | d3978198ac79405c521ae8958e29859ecf816633 (patch) | |
| tree | 3dbc9ee422abeb7f8c6ee089138739845c4d36aa /src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp | |
| parent | b78509e2f29c12594cb8c9633ef89383f1536e5a (diff) | |
| parent | 56506730c827e02a69cb803fcaa7e912cf25826b (diff) | |
| download | rust-d3978198ac79405c521ae8958e29859ecf816633.tar.gz rust-d3978198ac79405c521ae8958e29859ecf816633.zip | |
Rollup merge of #102922 - kper:bugfix/102902-filtering-json, r=oli-obk
Filtering spans when emitting json According to the issue #102902, we shouldn't emit spans which have an empty span and no suggested replacement.
Diffstat (limited to 'src/tools/miri/genmc-sys/src_cpp/MiriInterface.cpp')
0 files changed, 0 insertions, 0 deletions