40
87%

Ran 24 Jan 2018 01:35PM UTC

Jobs 1

Files 5

Run time 1s

Badge

Embed ▾

pending completion

Build # 40

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

new Symbolic Execution : CATG (#8)

* test: add test on the MainGenerator

* feat: add MainGenerator

* test: add tavern resources for tests

* fix: Main Generator

* feat: add CATGExecutor

* feat: finish the CATGExecutor, it returns values as a List of String

* test: increase test quality

* fix: take the reverse of the list of the local variables

* refactor: remove unused parameter

* test: the new Ex2Amplifier using CATG

* feat: using CATG to run symbolic execution and build amplified test

* dependencies: add jars to run CATG

* docs: update README

* ci: do not launch install-dspot.sh

* clean: remove old classes

* update with new packages

* ci: clone and build dspot

* pom: remove old dependencies, update dspot and spoon versions

* ci: update path to cvc4

* grant permission to execute cvc4

Run Details

131 of 140 relevant lines covered (93.57%)

0.94 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	40.1	24 Jan 2018 01:35PM UTC	0	93.57	Travis Job 40.1

Source Files on build 40

Detailed source file information is not available for this build.

STAMP-project / Ex2Amplifier / 40
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 40

STAMP-project / Ex2Amplifier / 40 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 40

STAMP-project / Ex2Amplifier / 40
87%

README BADGES
x