|
Ran
|
Jobs
12
|
Files
64
|
Run time
1min
|
Badge
README BADGES
|
push
github
52604 of 80887 relevant lines covered (65.03%)
10885145.13 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 878 |
64.69 |
1.66% | sources/pre.c |
| 700 |
60.37 |
-0.21% | sources/normal.c |
| 607 |
50.54 |
1.2% | sources/compcomm.c |
| 531 |
70.2 |
0.2% | sources/sort.c |
| 345 |
68.18 |
8.73% | sources/ratio.c |
| 272 |
82.73 |
0.93% | sources/threads.c |
| 142 |
33.33 |
-0.5% | sources/message.c |
| 133 |
60.43 |
1.76% | sources/tools.c |
| 131 |
74.51 |
-0.01% | sources/proces.c |
| 107 |
51.09 |
0.22% | sources/if.c |
| 70 |
71.17 |
3.85% | sources/names.c |
| 35 |
96.39 |
6.97% | sources/flintinterface.cc |
| 35 |
95.52 |
7.03% | sources/float.c |
| 7 |
97.9 |
0.91% | sources/evaluate.c |
| 4 |
82.08 |
0.05% | sources/setfile.c |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | tvorm -w2 (default) (flint - no) - 29908558934.1 | 61 |
60.08 |
GitHub Action Run | |
| 2 | tvorm -w2 (extra) - 29908558934.2 | 64 |
37.25 |
GitHub Action Run | |
| 3 | tvorm -w2 (extra) (flint - no) - 29908558934.3 | 61 |
40.24 |
GitHub Action Run | |
| 4 | vorm (extra) - 29908558934.4 | 63 |
36.24 |
GitHub Action Run | |
| 5 | tvorm (default) (flint - no) - 29908558934.5 | 61 |
60.28 |
GitHub Action Run | |
| 6 | tvorm (default) - 29908558934.6 | 64 |
60.62 |
GitHub Action Run | |
| 7 | tvorm (extra) - 29908558934.7 | 64 |
37.46 |
GitHub Action Run | |
| 8 | tvorm -w2 (default) - 29908558934.8 | 64 |
60.43 |
GitHub Action Run | |
| 9 | tvorm (extra) (flint - no) - 29908558934.9 | 61 |
40.45 |
GitHub Action Run | |
| 10 | vorm (default) (flint - no) - 29908558934.10 | 60 |
59.93 |
GitHub Action Run | |
| 11 | vorm (extra) (flint - no) - 29908558934.11 | 60 |
39.34 |
GitHub Action Run | |
| 12 | vorm (default) - 29908558934.12 | 63 |
60.28 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|