17
87%

Ran 28 Nov 2017 03:52PM UTC

Jobs 1

Files 18

Run time 1s

Badge

Embed ▾

pending completion

Build # 17

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Integration to dspot (#6)

* pom: use release 6.0.0 of spoon; use release 1.0.1 of dspot

* feat: instrument the test to be amplified; set up the instrument folder too target/dspot/Ex2Amplifier

* feat: filter now invocation to asserts in test to be instrumented; the TestInstrumentation processor takes now a specific factory

* clean: remove unused imports

* test: the amplification using Ex2Amplifier produces new test cases

* test: update test using new constructor and new indices

* test: update properties of the calculator project

* test: add assertions in the CalculatorTest

* test: the generation of Alloy model is done using the concrete execution of the test

* test: the procedure of DSpot using the Ex2Amplifier generate one amplified test, exercising a new path in the program

Run Details

572 of 622 relevant lines covered (91.96%)

0.92 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	17.1	28 Nov 2017 03:52PM UTC	0	91.96	Travis Job 17.1

Source Files on build 17

Detailed source file information is not available for this build.

STAMP-project / Ex2Amplifier / 17
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 17

STAMP-project / Ex2Amplifier / 17 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 17

STAMP-project / Ex2Amplifier / 17
87%

README BADGES
x