1
45%
master: 45%

Ran 02 Oct 2018 04:08PM UTC

Files 35

Run time 2s

Badge

Embed ▾

Committed 02 Oct 2018 04:03PM UTC coverage: 50.933% (-0.06%) from 50.995%

Job # 683.1

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

0.51 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 683.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 683.1

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

README BADGES
x