Code coverage integration

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

545 stars 31 forks source link

Closed dmitrii-artuhov closed 3 weeks ago

dmitrii-artuhov commented 5 months ago

Resolves #254.

Applies Lincheck transformer after coverage transformer (otherwise the coverage may incorretly report branches introduced by Lincheck transformer)
Added coverage filter for ommiting the instrumentation by Lincheck's transformer field accesses and methods injected by the coverage transformer

eupp commented 3 weeks ago

Closed in favor of #335