Skip to content

Fixes memory leaks inside CoverageTool and improves style#324

Open
DanielELog wants to merge 6 commits into
VSharp-team:masterfrom
DanielELog:CoverageToolFixes
Open

Fixes memory leaks inside CoverageTool and improves style#324
DanielELog wants to merge 6 commits into
VSharp-team:masterfrom
DanielELog:CoverageToolFixes

[fix] incorrect thread loss upon filter leave

3b56026
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs