Ran
|
Jobs
1
|
Files
1635
|
Run time
79min
|
Badge
README BADGES
|
push
travis-ci
<a href="https://github.com/SRI-CSL/sally/commit/<a class=hub.com/SRI-CSL/sally/commit/c1e7999bbce1d7070b6f61224325d9cc1003d9c4">c1e7999bb<a href="https://github.com/SRI-CSL/sally/commit/c1e7999bbce1d7070b6f61224325d9cc1003d9c4">">Revert &quot;Fixed compilation problem.&quot; Didn&#39;t work on Travis. This reverts commit </a><a class="double-link" href="https://github.com/SRI-CSL/sally/commit/<a class="double-link" href="https://github.com/SRI-CSL/sally/commit/9093b66cbf9f6d7e6f42af08adb6f3565d32dc15">9093b66cb</a>">9093b66cb</a><a href="https://github.com/SRI-CSL/sally/commit/c1e7999bbce1d7070b6f61224325d9cc1003d9c4">.
6147 of 16186 relevant lines covered (37.98%)
16178.14 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
3 | 553.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) | 1635 |
37.98 |
Travis Job 553.3 |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|