57
87%

Ran 14 Feb 2018 12:29PM UTC

Jobs 1

Files 10

Run time 5s

Badge

Embed ▾

pending completion

Build # 57

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	57.1	14 Feb 2018 12:29PM UTC	0	93.28	Travis Job 57.1

Source Files on build 57

Detailed source file information is not available for this build.

STAMP-project / Ex2Amplifier / 57
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 57

STAMP-project / Ex2Amplifier / 57 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 57

STAMP-project / Ex2Amplifier / 57
87%

README BADGES
x