|
|
7867e0ebce
|
Try to build both src and tools for coverage
|
2018-04-06 02:28:59 +02:00 |
|
|
|
cd8c77733f
|
Allow directories to be already created
|
2018-02-22 02:25:22 +01:00 |
|
|
|
442e4e4578
|
Find code coverage information in more locations
|
2018-02-19 02:06:07 +01:00 |
|
|
|
44f0bc2b31
|
Add spacing between source files in the output
|
2018-02-19 01:51:31 +01:00 |
|
|
|
04345dd42e
|
Import a helper script for code coverage
It is not fully functional yet though.
|
2018-02-19 01:39:41 +01:00 |
|
