[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2021-07-19 14:57:14.332933682 UTC
|
| Compiler |
ghc-8.10.2 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.14.1.0, cmdargs-0.10.21, containers-0.6.2.1, express-1.0.2, leancheck-0.9.10 |
| Flags |
none
|
Code Coverage
| expressions | 51% (2081/4005) |
|---|
| boolean | guards | 35% (26/73) |
|---|
| conditions | 50% (5/10) |
|---|
| qualifiers | 22% (5/22) |
|---|
| alternatives | 51% (155/301) |
|---|
| local declarations | 59% (73/123) |
|---|
| top-level declarations | 49% (152/306) |
|---|
Build log
[view raw]
Resolving dependencies...
Starting cmdargs-0.10.21
Starting express-1.0.2
Starting leancheck-0.9.10
Building cmdargs-0.10.21
Building express-1.0.2
Building leancheck-0.9.10
Completed express-1.0.2
Completed leancheck-0.9.10
Completed cmdargs-0.10.21
Downloading speculate-0.4.12
Downloaded speculate-0.4.12
Starting speculate-0.4.12
Building speculate-0.4.12
Completed speculate-0.4.12
Test log
No test log was submitted for this report.