319
81%

Ran 17 Jan 2018 10:13PM UTC

Jobs 1

Files 79

Run time 4s

Badge

Embed ▾

pending completion

Build # 319

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

Jobs

ID	Job ID	Ran	Files	Coverage
1	319.1	17 Jan 2018 10:13PM UTC	0	56.27	Travis Job 319.1

Source Files on build 319

Detailed source file information is not available for this build.

Robbepop / stevia / 319
81%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 319

Robbepop / stevia / 319 81%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 319

Robbepop / stevia / 319
81%

README BADGES
x