SRI-CSL
/
yices2
/
28927467990
71%
master: 71%
master: 71%
|
Ran
|
Jobs
1
|
Files
496
|
Run time
2min
|
Badge
Embed ▾
README BADGES
|
coverage: 71.213% (+0.002%) from 71.211%
github
web-flow
Pull Request #655:
Fix segfault in get-value for function default over exhausted finite range (#403)
4 of 4 new or added lines in 1 file covered. (100.0%)
95569 of 134201 relevant lines covered (71.21%)
1664911.46 hits per line
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 28927467990.1 | 496 |
71.21 |
GitHub Action Run |
