Let's add some coverage support to the model-checking mode. This will provide the coverage metric and allow us to analyze which code branches were not executed, thus potentially helping us to improve test generation.
Subtasks:
[x] Integrate Coverage and Lincheck's bytecode transformers:
[x] apply Lincheck transformer after coverage transformer (otherwise the coverage may incorretly report branches introduced by Lincheck transformer);
[x] do not instrument by Lincheck's transformer field accesses and methods injected by the coverage transformer.
[ ] Add coverage metrics checks in our CI pipeline
Let's add some coverage support to the model-checking mode. This will provide the coverage metric and allow us to analyze which code branches were not executed, thus potentially helping us to improve test generation.
Subtasks: