683
45%

Ran 02 Oct 2018 04:06PM UTC

Jobs 2

Files 35

Run time 1min

Badge

Embed ▾

pending completion

Build # 683

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Using partial max SMT (#114)

* Use partial MaxSMT to set parameters to their original value as much as possible

* The state variables were not correctly being created

* Use variable type

* Undo unwanted commit

* No need for default value

* Fix the style

Run Details

846 of 1661 relevant lines covered (50.93%)

1.02 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	683.1	02 Oct 2018 04:08PM UTC	0	50.93	Travis Job 683.1
2	683.2	02 Oct 2018 04:06PM UTC	0	50.93	Travis Job 683.2

Source Files on build 683

Detailed source file information is not available for this build.

squaresLab / Houston / 683
45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 683

squaresLab / Houston / 683 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 683

squaresLab / Houston / 683
45%

README BADGES
x