14
87%

Ran 13 Nov 2017 08:18PM UTC

Jobs 1

Files 18

Run time 1s

Badge

Embed ▾

pending completion

Build # 14

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	14.1	13 Nov 2017 08:18PM UTC	0	91.65	Travis Job 14.1

Source Files on build 14

Detailed source file information is not available for this build.

STAMP-project / Ex2Amplifier / 14
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 14

STAMP-project / Ex2Amplifier / 14 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 14

STAMP-project / Ex2Amplifier / 14
87%

README BADGES
x