Coursemology / coursemology2 / 4108
55%

DEFAULT BRANCH: master
Ran
Jobs 3
Files 388
Run time 1min
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
4108

Pull #924

travis-ci

custode 
Rename conditional resolution framework to conditional satisfiaibility evaluation framework
Pull Request #924: Refactor conditional resolution framework into conditional satisfiability evaluation framework

5509 of 5509 relevant lines covered (100.0%)

917.96 hits per line

Jobs
ID Job ID Ran Files Coverage
1 4108.1 (2.1.8) 388
100.0
 Travis Job 4108.1
2 4108.2 (2.2.4) 388
100.0
 Travis Job 4108.2
3 4108.3 (2.3.0) 388
100.0
 Travis Job 4108.3
Source Files on build 4108
Coverage ∆ File Lines Relevant Covered Missed Hits/Line