1
87%
master: 87%

Ran 15 Jan 2018 03:16PM UTC

Files 4

Run time 0s

Badge

Embed ▾

Committed 15 Jan 2018 02:53PM UTC coverage: 94.958% (+3.0%) from 91.961%

Job # 22.1

Build Type

push

travis-ci

Committed by

web-flow

Commit Message

Replace alloy by jbse (#7)

* clear: delete all file related to alloy

* clear: delete alloy jar

* delete resources alloy

* pom: update dependencies: remove alloy, add JBSE and SMT-api

* test: add methods in resources to test

* test: add test on JBSERunner

* feat: JBSE Runner will run the symbolic execution

* test: add test on the SMT solver

* feat: add smt Solver

* test: test the ArgumentsExtractor which transform a test into a method with arguments

* feat: add ArgumentsExtractor

* test: test the new Ex2Amplifier using JBSE and SMT solver

* feat: add Ex2Amplifier

* test: refactor AbstractTest

* dependency: add z3 binary

* script: update script to install JBSE

* test: verbose mode enabled during test

* clean: remove z3

* change path to Z3

* install: will get and build z3

* ci: add lib folder to the cache

Run Details

226 of 238 relevant lines covered (94.96%)

0.95 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 22.1

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

README BADGES
x