1
87%
master: 87%

Ran 13 Nov 2017 08:18PM UTC

Files 18

Run time 1s

Badge

Embed ▾

Committed 13 Nov 2017 08:15PM UTC coverage: 91.653% (+1.0%) from 90.684%

Job # 14.1

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Ex2amplifier (#5)

* refactor: the stack parameter is now in the Context

* feat: add the context in the contruction of Modification and Variable

* feat: support unsatifiable problems

* feat: add Ex2Amplifier

* test: factorize init Launcher

* test: update resources test, and add test for unsatisfiable problems

* test: update resources

* test: add test for the Ex2Amplifier

* refactor: remove useless check on type

* clean: remove unused imports

* refactor: implement TestInstrumentation as a Spoon processor

* test: update test with new implementation of TestInstrumentation

Run Details

549 of 599 relevant lines covered (91.65%)

0.92 hits per line

STAMP-project / Ex2Amplifier / 14 / 1
87%
master: 87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14.1

STAMP-project / Ex2Amplifier / 14 / 1 87% master: 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14.1

STAMP-project / Ex2Amplifier / 14 / 1
87%
master: 87%

README BADGES
x