716
45%

Ran 02 Oct 2018 08:33PM UTC

Jobs 2

Files 35

Run time 39min

Badge

Embed ▾

pending completion

Build # 716

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	716.1	02 Oct 2018 08:33PM UTC	0	50.18	Travis Job 716.1
2	716.2	02 Oct 2018 08:33PM UTC	0	50.18	Travis Job 716.2

Source Files on build 716

Detailed source file information is not available for this build.

squaresLab / Houston / 716
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 716

squaresLab / Houston / 716 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 716

squaresLab / Houston / 716
45%

README BADGES
x