[all reports]
| Install |
InstallOk |
| Docs |
Ok |
| Tests |
Ok |
| Time submitted |
2022-05-08 21:28:31.213627072 UTC
|
| Compiler |
ghc-8.10.2 |
| OS |
linux |
| Arch |
x86_64 |
| Dependencies |
base-4.14.1.0, mtl-2.2.2 |
| Flags |
none
|
Code Coverage
| expressions | 55% (349/626) |
|---|
| boolean | guards | 33% (1/3) |
|---|
| conditions | 100% (0/0) |
|---|
| qualifiers | 100% (0/0) |
|---|
| alternatives | 56% (13/23) |
|---|
| local declarations | 40% (4/10) |
|---|
| top-level declarations | 48% (39/80) |
|---|
Build log
[view raw]
Resolving dependencies...
Downloading logict-0.8.0.0
Downloaded logict-0.8.0.0
Starting logict-0.8.0.0
Building logict-0.8.0.0
Completed logict-0.8.0.0
Test log
No test log was submitted for this report.