1
87%
master: 87%

Ran 14 Feb 2018 12:29PM UTC

Files 10

Run time 3s

Badge

Embed ▾

Committed 14 Feb 2018 12:23PM UTC coverage: 93.277% (-2.3%) from 95.556%

Job # 57.1

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Two mode ex2amplifier (#15)

* feat: can now execute Ex2Amplifier in two mode: CATG or JBSE

* test: update test and add several test case scenario

* resource: add config of catg

* add libs

* remove the build of z3

Run Details

444 of 476 relevant lines covered (93.28%)

0.93 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 57.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 57.1

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

README BADGES
x