Ran
|
Jobs
1
|
Files
261
|
Run time
25s
|
Badge
Embed ▾
README BADGES
|
push
github
4650 of 4863 relevant lines covered (95.62%)
40.77 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
96.97 |
0.05% | include/reelay/settings/discrete_timed_robustness/setting.hpp |
2 |
96.3 |
0.07% | include/reelay/settings/untimed_robustness/setting.hpp |
3 |
95.45 |
0.07% | include/reelay/settings/discrete_timed/setting.hpp |
3 |
94.44 |
0.1% | include/reelay/settings/untimed/setting.hpp |
4 |
93.55 |
0.11% | include/reelay/settings/dense_timed_robustness_0/setting.hpp |
4 |
94.29 |
0.08% | include/reelay/settings/dense_timed/setting.hpp |
5 |
88.3 |
0.0% | include/reelay/settings/discrete_timed_data/setting.hpp |
5 |
86.59 |
0.0% | include/reelay/settings/untimed_data/setting.hpp |
13 |
78.72 |
1.17% | include/reelay/settings/dense_timed_data/setting.hpp |
46 |
83.53 |
-2.78% | include/reelay/parser/ptl.hpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 3e7e8371f7de5c130c279cb5276fd26f8a1cc7f8.1 | 261 |
95.62 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|