SRI-CSL / yices2 / 85

67%

push

travis-ci

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.

8 of 8 new or added lines in 1 file covered. (100.0%)

59070 of 89069 relevant lines covered (66.32%)

986702.16 hits per line