1
67%
master: 67%

Ran 23 Apr 2025 12:13AM UTC

Files 486

Run time 16s

Badge

Embed ▾

Committed 23 Apr 2025 12:03AM UTC coverage: 65.343% (+0.06%) from 65.284%

Job # 14606917761.1

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

Coverage Stats

81163 of 124211 relevant lines covered (65.34%)

1557193.82 hits per line

SRI-CSL / yices2 / 14606917761 / 1
67%
master: 67%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14606917761.1

SRI-CSL / yices2 / 14606917761 / 1 67% master: 67%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 14606917761.1

SRI-CSL / yices2 / 14606917761 / 1
67%
master: 67%

README BADGES
x