|
Ran
|
Jobs
12
|
Files
70
|
Run time
1min
|
Badge
README BADGES
|
push
github
43919 of 83091 relevant lines covered (52.86%)
2237235.18 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
91.36 |
-0.14% | sources/poly.cc |
| 2 |
54.17 |
3.35% | sources/pre.c |
| 10 |
87.33 |
3.03% | sources/flintinterface.cc |
| 21 |
80.65 |
1.69% | sources/startup.c |
| 71 |
87.59 |
1.89% | sources/polywrap.cc |
| 144 |
60.75 |
0.86% | sources/compiler.c |
| 148 |
33.53 |
0.02% | sources/transform.c |
| 241 |
66.67 |
1.72% | sources/proces.c |
| 261 |
49.46 |
18.7% | sources/float.c |
| 470 |
77.6 |
0.04% | sources/threads.c |
| 553 |
64.34 |
1.49% | sources/sort.c |
| 1425 |
42.28 |
4.68% | sources/compcomm.c |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | vorm (default) (flint - no) - 16793762962.1 | 66 |
48.99 |
GitHub Action Run | |
| 2 | tvorm -w2 (extra) (flint - no) - 16793762962.2 | 67 |
22.0 |
GitHub Action Run | |
| 3 | vorm (extra) (flint - no) - 16793762962.3 | 66 |
21.17 |
GitHub Action Run | |
| 4 | tvorm (default) (flint - no) - 16793762962.4 | 67 |
49.55 |
GitHub Action Run | |
| 5 | tvorm -w2 (default) - 16793762962.5 | 70 |
49.77 |
GitHub Action Run | |
| 6 | tvorm -w2 (extra) - 16793762962.6 | 70 |
21.73 |
GitHub Action Run | |
| 7 | vorm (extra) - 16793762962.7 | 69 |
20.86 |
GitHub Action Run | |
| 8 | vorm (default) - 16793762962.8 | 69 |
49.4 |
GitHub Action Run | |
| 9 | tvorm -w2 (default) (flint - no) - 16793762962.9 | 67 |
49.39 |
GitHub Action Run | |
| 10 | tvorm (default) - 16793762962.10 | 70 |
49.97 |
GitHub Action Run | |
| 11 | tvorm (extra) - 16793762962.11 | 70 |
21.91 |
GitHub Action Run | |
| 12 | tvorm (extra) (flint - no) - 16793762962.12 | 67 |
22.21 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|