222
67%

Ran 26 Dec 2017 03:15PM UTC

Jobs 1

Files 380

Run time 16s

Badge

Embed ▾

pending completion

Build # 222

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Added propagation of equalities from the bvsolver to the egraph.

This looks for variables in the bvsolver that are mapped to
the same arrays of literals in the core and tell the egraph
that these variables are equal at the base level.

Run Details

59511 of 89346 relevant lines covered (66.61%)

1242036.79 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	222.1	26 Dec 2017 03:15PM UTC	0	66.61	Travis Job 222.1

Source Files on build 222

Detailed source file information is not available for this build.

SRI-CSL / yices2 / 222
67%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 222

SRI-CSL / yices2 / 222 67%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 222

SRI-CSL / yices2 / 222
67%

README BADGES
x