Repo Added
|
Files
289
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
6554 of 14888 relevant lines covered (44.02%)
0.44 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
742 | svcomp19 | fixed run script | push | pruemmer | travis-ci | pending completion | |
741 | svcomp19 | fixed build script | push | pruemmer | travis-ci | pending completion | |
738 | svcomp19 | Add return statement for methods where the last statement is an assertion that gets optimized away | push | Schaef | travis-ci | pending completion | |
737 | svcomp19 | revert to old jayhorn version | push | Schaef | travis-ci | pending completion | |
731 | svcomp19 | unsafe to unknown | push | Temesghen Kahsai | travis-ci | pending completion |