|
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 |
|---|