2
48%
master: 45%

Ran 02 Oct 2018 05:31PM UTC

Files 35

Run time 2min

Badge

Embed ▾

Committed 02 Oct 2018 04:03PM UTC coverage: 50.933%. First build

Job # 686.2

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 / 686 / 2
48%
master: 45%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 686.2

squaresLab / Houston / 686 / 2 48% master: 45%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 686.2

squaresLab / Houston / 686 / 2
48%
master: 45%

README BADGES
x