Revert "Merge branch 'lua_coverage' into 'master'"
This reverts commit 20c85eb4, reversing changes made to a5cd67c9. It turns out that coverage measument needs tighter integration to handle parallel execution.
Showing
Please register or sign in to comment