|
Ran
|
Jobs
12
|
Files
66
|
Run time
1min
|
Badge
README BADGES
|
push
github
6 of 6 new or added lines in 1 file covered. (100.0%)
1064 existing lines in 6 files now uncovered.52341 of 82836 relevant lines covered (63.19%)
10526607.69 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 377 |
2.8
|
-0.02% | sources/checkpoint.c |
| 323 |
81.8
|
-0.13% | sources/threads.c |
| 139 |
58.66
|
-0.04% | sources/tools.c |
| 107 |
57.92
|
-0.14% | sources/minos.c |
| 77 |
89.42
|
-0.33% | sources/flintinterface.cc |
| 41 |
59.45
|
0.05% | sources/ratio.c |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | vorm (extra) (flint - no) - 28859272471.1 | 62 |
38.47
|
GitHub Action Run | |
| 2 | vorm (default) - 28859272471.2 | 65 |
58.46
|
GitHub Action Run | |
| 3 | vorm (extra) - 28859272471.3 | 65 |
35.38
|
GitHub Action Run | |
| 4 | tvorm (extra) - 28859272471.4 | 66 |
36.57
|
GitHub Action Run | |
| 5 | tvorm (extra) (flint - no) - 28859272471.5 | 63 |
39.55
|
GitHub Action Run | |
| 6 | tvorm -w2 (extra) - 28859272471.6 | 66 |
36.37
|
GitHub Action Run | |
| 7 | vorm (default) (flint - no) - 28859272471.7 | 62 |
58.15
|
GitHub Action Run | |
| 8 | tvorm -w2 (default) (flint - no) - 28859272471.8 | 63 |
58.27
|
GitHub Action Run | |
| 9 | tvorm (default) (flint - no) - 28859272471.9 | 63 |
58.52
|
GitHub Action Run | |
| 10 | tvorm -w2 (extra) (flint - no) - 28859272471.10 | 63 |
39.35
|
GitHub Action Run | |
| 11 | tvorm (default) - 28859272471.11 | 66 |
58.81
|
GitHub Action Run | |
| 12 | tvorm -w2 (default) - 28859272471.12 | 66 |
58.58
|
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|