1111
81%

Ran 14 May 2018 12:43PM UTC

Jobs 1

Files 68

Run time 3s

Badge

Embed ▾

pending completion

Build # 1111

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

 Fix #419: expected Exception and generate assertion in catch block (#432)

* refactor: refactor hierarchy of AssertGenerator, split in two objects for assertions and try/catch

* test: add test for the generation of try/catch/fail block

* Fix #419: expected Exception and generate assertion in catch block

* test: verify the contract on instrumentation of generated objects

* test: refactor test to check the feature and not the whole process

* refactor assertions amplification

* fix: remove unused import

Run Details

106 of 106 new or added lines in 5 files covered. (100.0%)

3556 of 4223 relevant lines covered (84.21%)

0.84 hits per line

Uncovered Existing Lines

Lines	Coverage	∆	File
1	100.0		dspot/src/main/java/fr/inria/diversify/dspot/assertGenerator/AssertBuilder.java

Jobs

ID	Job ID	Ran	Files	Coverage
1	1111.1	14 May 2018 12:43PM UTC	0	84.21	Travis Job 1111.1

Source Files on build 1111

Detailed source file information is not available for this build.

STAMP-project / dspot / 1111
81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 1111

STAMP-project / dspot / 1111 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Existing Lines

Jobs

Source Files on build 1111

STAMP-project / dspot / 1111
81%

README BADGES
x