1
67%
master: 67%

Ran 26 Dec 2017 03:15PM UTC

Files 380

Run time 14s

Badge

Embed ▾

Committed 26 Dec 2017 02:38PM UTC coverage: 66.607% (-0.03%) from 66.64%

Job # 222.1

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.

Coverage Stats

59511 of 89346 relevant lines covered (66.61%)

1242036.79 hits per line

SRI-CSL / yices2 / 222 / 1
67%
master: 67%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 222.1

SRI-CSL / yices2 / 222 / 1 67% master: 67%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 222.1

SRI-CSL / yices2 / 222 / 1
67%
master: 67%

README BADGES
x