fkutzner / candy-kingdom
84%
nomaster: 86%

LAST BUILD BRANCH: pr_cleanup2
DEFAULT BRANCH: nomaster
Repo Added
Files 53
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

LAST BUILD ON BRANCH pr_cleanup2
branch: SELECT
CHANGE BRANCH
x

80

push

travis-ci

fkutzner 
generalized RSIL interface

3583 of 4264 relevant lines covered (84.03%)

1331942.58 hits per line

Relevant lines Covered
4264 RELEVANT LINES 3583 COVERED LINES
1331942.58 HITS PER LINE
Source Files on ft_cleanup
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
80 pr_cleanup2 generalized RSIL interface push fkutzner travis-ci pending completion  
79 pr_cleanup2 removed the frontend module from the static candy lib push fkutzner travis-ci pending completion  
78 ft_cleanup2 removed the frontend module from the static candy lib push fkutzner travis-ci pending completion  
77 ft_cleanup2 removed memory usage functions (dead code) push fkutzner travis-ci pending completion  
76 ft_cleanup2 removed minisat-style include paths push fkutzner travis-ci pending completion  
75 ft_cleanup2 added acceptance tests for size-2-advice RSIL push fkutzner travis-ci pending completion  
74 pr_rsilcfg_2 added a Candy/RSILv configuration for StarExec push fkutzner travis-ci pending completion  
73 pr_sdescr_2 equalized the benchmark description's column length push fkutzner travis-ci pending completion  
72 pr_sdescr_2 fixed minor spelling errors in the system description push fkutzner travis-ci pending completion  
71 pr_sdescr_2 equalized the system description's column length push fkutzner travis-ci pending completion  
See All Builds (55)