SRI-CSL / yices2 / 26438889543

69%

master: 69%

Build Type

Pull #632

github

Committed by ahmed-irfan

Commit Message

mcsat: iterate trail elements in trail_update_extra_cache

Replace the two cache-size loops with a single pass over trail->elements.
The old code iterated [0, cache.size) and filtered with trail_has_value;
the set of vars satisfying that filter is exactly trail->elements (modulo
the to_repropagate transient), so direct iteration is equivalent and runs
in O(|trail|) instead of O(|max variable index|). Both cache writes share
one trail_get_value call.

Pull Request Pull Request #632: mcsat: iterate trail elements in trail_update_extra_cache

Coverage Stats

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

3 existing lines in 1 file now uncovered.

85754 of 127129 relevant lines covered (67.45%)

1624178.9 hits per line