1
71%
master: 71%

Ran 18 Jul 2017 02:31AM UTC

Files 380

Run time 13s

Badge

Embed ▾

Committed 18 Jul 2017 01:58AM UTC coverage: 66.319%. Remained the same

Job # 85.1

Build Type

push

travis-ci

Committed by

BrunoDutertre

Commit Message

Missing reset of aux_vector in bv_solver.

Function bv_solver_bv_equiv_conflict leaves aux_vector non-empty.
Other functions assume that aux_vector is empty when they use it.
Made the whole thing consistent: all functions that use aux_vector
must reset it first.

Commented out the assertion in select_bvvar_get_pseudo_map.
Needs more investigating.

Coverage Stats

59070 of 89069 relevant lines covered (66.32%)

986702.16 hits per line

SRI-CSL / yices2 / 85 / 1
71%
master: 71%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 85.1

SRI-CSL / yices2 / 85 / 1 71% master: 71%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 85.1

SRI-CSL / yices2 / 85 / 1
71%
master: 71%

README BADGES
x