TiloW / ocm-validator
95%
master: 95%

LAST BUILD BRANCH: 1.0
DEFAULT BRANCH: master
Repo Added
Files 29
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 1.0
branch: SELECT
CHANGE BRANCH
x

210

push

travis-ci

TiloW 
Ensure Connectedness

Euler's polyhedron formula is not applicable on disconnected graphs.

782 of 819 relevant lines covered (95.48%)

0.95 hits per line

Relevant lines Covered
819 RELEVANT LINES 782 COVERED LINES
0.95 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
210 1.0 Ensure Connectedness Euler's polyhedron formula is not applicable on disconnected graphs. push TiloW travis-ci pending completion  
209 master Ensure Connectedness Euler's polyhedron formula is not applicable on disconnected graphs. push TiloW travis-ci pending completion  
208 master Ensure Graph Properties Some prequesites need to be fulfilled for the lower bounds to be applicable. push TiloW travis-ci pending completion  
207 test Ensure Graph Properties Some prequesites need to be fulfilled for the lower bounds to be applicable. push TiloW travis-ci pending completion  
205 master Kuratowski Paths are Disjoint Checking for same segments in two paths is not sufficient (see minimal test example). push TiloW travis-ci pending completion  
204 test Kuratowski Paths are Disjoint Checking for same segments in two paths is not sufficient (see minimal test example). push TiloW travis-ci pending completion  
202 master Prohibit Null Edges Each edge must have a weight of 1 or greater. Otherwise, the lower bounds by Euler; Pach, Spencer, and Tóth can not be applied. push TiloW travis-ci pending completion  
200 linear-program-file Increase LP Readability push TiloW travis-ci pending completion  
198 simplicity Less Simplicity Constraints These constraints are required only on the second segment. Ordering constraints on the following segments are sufficient. push TiloW travis-ci pending completion  
199 linear-program-file Increase LP Readability push TiloW travis-ci pending completion  
See All Builds (134)