squaresLab / Houston / 644
51%
master: 45%

LAST BUILD BRANCH: templatebased-mission-generator
DEFAULT BRANCH: master
Ran
Jobs 2
Files 35
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
644

Pull #96

travis-ci

web-flow 
Merge branch 'master' into symex
Pull Request #96: Specification and symbolic execution

438 of 438 new or added lines in 16 files covered. (100.0%)

818 of 1611 relevant lines covered (50.78%)

1.02 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
33.04
 0.0% houston/sandbox.py
1
50.96
 -0.01% houston/state.py
1
66.67
 -0.83% houston/valueRange.py
2
72.41
 20.03% houston/ardu/copter/goto.py
3
75.0
 20.45% houston/ardu/copter/setmode.py
3
50.33
 0.33% houston/command.py
4
72.22
 3.47% houston/ardu/rover/__init__.py
36
49.3
 houston/root_cause/root_cause.py
41
31.67
 houston/root_cause/delta_debugging.py
74
28.16
 houston/root_cause/symex.py
107
35.15
 -50.03% houston/specification.py

Uncovered Existing Lines

Lines Coverage ∆ File
1
70.37
 9.76% houston/ardu/rover/goto.py
1
75.0
 23.65% houston/ardu/copter/parachute.py
3
75.0
 20.45% houston/ardu/copter/setmode.py
Jobs
ID Job ID Ran Files Coverage
1 644.1 35
50.78
 Travis Job 644.1
2 644.2 35
50.78
 Travis Job 644.2
Source Files on build 644