SRI-CSL / yices2 / 26997378460 / 1
69%
master: 69%

LAST BUILD BRANCH: L2O_calc_update
DEFAULT BRANCH: master
Ran
Files 486
Run time 21s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 68.786% (-0.01%) from 68.798%
26997378460.1

Pull #637

github

disteph 
api: fix generalize model array return type; commit supported by Codex/GPT5.5
Pull Request #637: Small fixes: mcsat null-pointer UB and generalize_model_array return type

87467 of 127158 relevant lines covered (68.79%)

1623637.56 hits per line

Source Files on job 26997378460.1