748
50%
master: 45%

Ran 03 Oct 2018 02:11PM UTC

Jobs 2

Files 35

Run time 20s

Badge

Embed ▾

pending completion

Build # 748

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Added name to System (#120)

* added name to System

* removed Z3 as dependency and listed root_cause package

* updated bug in example

* added name property to System

* removed unnecessary imports

* bug fix: missing import

Run Details

835 of 1664 relevant lines covered (50.18%)

1.0 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	748.1	03 Oct 2018 02:12PM UTC	0	50.18	Travis Job 748.1
2	748.2	03 Oct 2018 02:12PM UTC	0	50.18	Travis Job 748.2

Source Files on build 748

Detailed source file information is not available for this build.

squaresLab / Houston / 748
50%
master: 45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 748

squaresLab / Houston / 748 50% master: 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 748

squaresLab / Houston / 748
50%
master: 45%

README BADGES
x