diff options
| author | Timotej Kapus <k.apus@hotmail.com> | 2018-05-17 17:25:55 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-05-18 13:18:32 +0100 |
| commit | 57ad4f26c68c53f96d14cd2ae047199e8d62c677 (patch) | |
| tree | 119adbea10f6f169b2f2eb1031b90b2239da273f /test/Feature/KleeReportError.c | |
| parent | 89c7505012b7c03b603bd527c4fd5e340bfb35cf (diff) | |
| download | klee-57ad4f26c68c53f96d14cd2ae047199e8d62c677.tar.gz | |
Delete coverageServer.py
Delete the old coverage gathering code. Unneccessary with move to codecov.
Diffstat (limited to 'test/Feature/KleeReportError.c')
0 files changed, 0 insertions, 0 deletions