1
87%
master: 87%

Ran 30 Mar 2018 07:29PM UTC

Files 11

Run time 0s

Badge

Embed ▾

Committed 30 Mar 2018 07:19PM UTC coverage: 87.086% (-1.0%) from 88.047%

Job # 118.1

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Prepare release (#33)

* move packages to eu.stamp.project

* pom: move group ID to eu.stamp-project, and add plugins for releasing

* update packages from dspot

* remove unused imports

* update API

* remove classes copied from dspot

* dependency: update dependency to z3

* download z3

Run Details

526 of 604 relevant lines covered (87.09%)

0.87 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 118.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 118.1

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

README BADGES
x