1
87%
master: 87%

Ran 14 Feb 2018 02:39PM UTC

Files 10

Run time 0s

Badge

Embed ▾

Committed 14 Feb 2018 02:33PM UTC coverage: 92.887% (-0.4%) from 93.277%

Job # 63.1

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

test: update resource to trigger the behavior: throwing an exception (#16)

* test: update resource to trigger the behavior: throwing an exception

* test: update the expected method as string

* feat: support now if the test declare throwing an exception

* test: add a test on ArgumentsExtractor: it should also wrap the returned method with try/catch block

* test: update expected method string

* fix: ArgumentsExtractor support now test with throw exception

* remove z3 sources

Run Details

444 of 478 relevant lines covered (92.89%)

0.93 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 63.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 63.1

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

README BADGES
x