1
45%
master: 45%

Ran 02 Oct 2018 08:33PM UTC

Files 35

Run time 22min

Badge

Embed ▾

Committed 02 Oct 2018 08:29PM UTC coverage: 50.18% (-0.1%) from 50.275%

Job # 716.1

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%)

0.5 hits per line

squaresLab / Houston / 716 / 1
45%
master: 45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 716.1

squaresLab / Houston / 716 / 1 45% master: 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 716.1

squaresLab / Houston / 716 / 1
45%
master: 45%

README BADGES
x