SRI-CSL / yices2 / 26439934897

69%

master: 69%

Pull #632

github

mcsat: fuse trail_gc_sweep into a single pass

Collapse the three per-cache loops into one iteration over [1, model.size).
Each unmarked variable's marked-set lookup now happens once instead of
three times. Skip the variable_null sentinel (var=0) and drop the dead
trailing assert.

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

85751 of 127126 relevant lines covered (67.45%)

1623469.57 hits per line