22
87%

Ran 15 Jan 2018 03:16PM UTC

Jobs 1

Files 4

Run time 0s

Badge

Embed ▾

pending completion

Build # 22

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	22.1	15 Jan 2018 03:16PM UTC	0	94.96	Travis Job 22.1

Source Files on build 22

Detailed source file information is not available for this build.

STAMP-project / Ex2Amplifier / 22
87%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22

STAMP-project / Ex2Amplifier / 22 87%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 22

STAMP-project / Ex2Amplifier / 22
87%

README BADGES
x