1
81%
master: 81%

Ran 17 Jan 2018 10:13PM UTC

Files 79

Run time 3s

Badge

Embed ▾

Committed 17 Jan 2018 10:09PM UTC coverage: 56.271% (+0.6%) from 55.654%

Job # 319.1

Build Type

push

travis-ci

Committed by

Robbepop

Commit Message

refactor(AST): remove ArrayEquals expression since it is not supported

In the paper "A Decision Procedure for Bit-Vector and Arrays" by Vijay Ganesh and David L. Dill they state that this operation is not supported at all so since we lean on to their design as a base we should do the same initially.

Coverage Stats

3145 of 5589 relevant lines covered (56.27%)

0.56 hits per line

Robbepop / stevia / 319 / 1
81%
master: 81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 319.1

Robbepop / stevia / 319 / 1 81% master: 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 319.1

Robbepop / stevia / 319 / 1
81%
master: 81%

README BADGES
x