1
87%
master: 87%

Ran 24 Jan 2018 01:35PM UTC

Files 5

Run time 0s

Badge

Embed ▾

Committed 24 Jan 2018 01:31PM UTC coverage: 93.571% (-1.4%) from 94.958%

Job # 40.1

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

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 40.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 40.1

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

README BADGES
x