SRI-CSL / sally / 553
36%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 1635
Run time 79min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
553

push

travis-ci

BrunoDutertre 
<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">&quot;&gt;Revert &amp;quot;Fixed compilation problem.&amp;quot; Didn&amp;#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

Jobs
ID Job ID Ran Files Coverage
3 553.3 (CMAKE_BUILD_TYPE=Release ENABLE_COVERAGE=ON) 0
37.98
 Travis Job 553.3
Source Files on build 553
Detailed source file information is not available for this build.