Ran
|
Jobs
1
|
Files
181
|
Run time
52s
|
Badge
Embed ▾
README BADGES
|
push
github
176 of 176 new or added lines in 15 files covered. (100.0%)
3568 of 3705 relevant lines covered (96.3%)
40.63 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
96.43 |
2.88% | include/reelay/settings/dense_timed_robustness_0/setting.hpp |
1 |
95.16 |
-0.29% | include/reelay/settings/discrete_timed/setting.hpp |
2 |
96.88 |
2.59% | include/reelay/settings/dense_timed/setting.hpp |
2 |
78.26 |
-0.46% | include/reelay/settings/dense_timed_data/setting.hpp |
2 |
96.77 |
-0.2% | include/reelay/settings/discrete_timed_robustness/setting.hpp |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
78.26 |
-0.46% | include/reelay/settings/dense_timed_data/setting.hpp |
5 |
85.68 |
2.18% | include/reelay/parser/ptl.hpp |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 204276290.1 | 181 |
96.3 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|