SRI-CSL
/
yices2
/
28849874859
71%
master: 71%
master: 71%
|
Ran
|
Jobs
1
|
Files
496
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 71.208% (-0.003%) from 71.211%
github
web-flow4 of 4 new or added lines in 2 files covered. (100.0%)
95540 of 134170 relevant lines covered (71.21%)
1665828.43 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 28849874859.1 | 496 |
71.21 |
GitHub Action Run |
