SRI-CSL / yices2 / 14606917761

65%

Build Type

push

github

Committed by web-flow

Commit Message

Mcsat target best caches (#554)

* recache functionality

* fix and update param

* recache at restart

* target

* target cache and recaching

* best cache

* improved strategy

* fix set model hints

* update cache before adding hints

* update on caches when setting model hints

* reintroduce interval approx hints

* update test

* clear bool values

* clear all caches before setting hints

* fine grained target cache

* minor

* update recache heuristic

* update hint values in interpolation mode

* minor

* simplify cache update

* update test

Run Details

114 of 131 new or added lines in 5 files covered. (87.02%)

7 existing lines in 4 files now uncovered.

81163 of 124211 relevant lines covered (65.34%)

1557193.82 hits per line