[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2021-06-03 22:00:20.00686513 UTC
|
| Compiler |
ghc-8.10.2 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.14.1.0, template-haskell-2.16.0.0 |
| Flags |
none
|
Code Coverage
| expressions | 65% (2861/4380) |
|---|
| boolean | guards | 33% (10/30) |
|---|
| conditions | 85% (6/7) |
|---|
| qualifiers | 80% (4/5) |
|---|
| alternatives | 63% (92/144) |
|---|
| local declarations | 94% (65/69) |
|---|
| top-level declarations | 45% (629/1393) |
|---|
Build log
[view raw]
Resolving dependencies...
Downloading leancheck-0.9.8
Downloaded leancheck-0.9.8
Starting leancheck-0.9.8
Building leancheck-0.9.8
Completed leancheck-0.9.8
Test log
No test log was submitted for this report.