tueda
/
form
/
21170365193
58%
master: 61%
master: 61%
|
Ran
|
Jobs
12
|
Files
65
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 57.834% (+0.1%) from 57.731%
push
github
tueda47840 of 82719 relevant lines covered (57.83%)
5442456.14 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1619 |
57.84 |
-0.29% | sources/grcc.cc |
| 659 |
69.66 |
0.31% | sources/proces.c |
| 562 |
43.95 |
0.01% | sources/compcomm.c |
| 385 |
63.62 |
0.0% | sources/sch.c |
| 348 |
62.38 |
0.23% | sources/compiler.c |
| 250 |
67.78 |
0.1% | sources/token.c |
| 207 |
58.45 |
0.0% | sources/tools.c |
| 165 |
64.9 |
1.7% | sources/names.c |
| 164 |
46.21 |
7.2% | sources/diawrap.cc |
| 146 |
85.63 |
0.38% | sources/float.c |
| 130 |
37.66 |
0.0% | sources/message.c |
| 115 |
88.56 |
-0.02% | sources/flintinterface.cc |
| 96 |
0.0 |
0.0% | sources/diagrams.c |
| 50 |
78.0 |
1.36% | sources/model.c |
| 13 |
96.99 |
0.0% | sources/evaluate.c |
| 12 |
0.0 |
0.0% | sources/mytime.cc |
| 11 |
92.86 |
0.0% | sources/flintwrap.cc |
| 10 |
66.57 |
-0.42% | sources/sort.c |
| 2 |
78.62 |
-0.08% | sources/threads.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | tvorm -w2 (default) (flint - no) - 21170365193.1 | 62 |
53.37 |
GitHub Action Run | |
| 2 | vorm (default) (flint - no) - 21170365193.2 | 61 |
53.15 |
GitHub Action Run | |
| 3 | vorm (default) - 21170365193.3 | 64 |
53.52 |
GitHub Action Run | |
| 4 | tvorm -w2 (extra) (flint - no) - 21170365193.4 | 62 |
30.53 |
GitHub Action Run | |
| 5 | tvorm (extra) - 21170365193.5 | 65 |
29.19 |
GitHub Action Run | |
| 6 | vorm (extra) (flint - no) - 21170365193.6 | 61 |
29.68 |
GitHub Action Run | |
| 7 | vorm (extra) - 21170365193.7 | 64 |
28.08 |
GitHub Action Run | |
| 8 | tvorm (extra) (flint - no) - 21170365193.8 | 62 |
30.72 |
GitHub Action Run | |
| 9 | tvorm -w2 (extra) - 21170365193.9 | 65 |
28.99 |
GitHub Action Run | |
| 10 | tvorm (default) (flint - no) - 21170365193.10 | 62 |
53.54 |
GitHub Action Run | |
| 11 | tvorm -w2 (default) - 21170365193.11 | 65 |
53.73 |
GitHub Action Run | |
| 12 | tvorm (default) - 21170365193.12 | 65 |
53.92 |
GitHub Action Run |
