Closed elautz closed 4 years ago
There was a bug in which the getters for the coverage output file and directory were not being used, resulting in a documentated coverage of 0.
There was a bug in which the getters for the coverage output file and directory were not being used, resulting in a documentated coverage of 0.