SRI-CSL / yices2 / 8742612759
65%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 473
Run time 2min
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: 65.728% (+0.003%) from 65.725%
8742612759

push

github

web-flow 
also enable nra learning when using interpolation mode (#509)

* also enable nra learning when using interpolation mode

* test with interpolation option on

* add method to provide value hint

* minor: use trace printing methods

* add comments

* format

13 of 18 new or added lines in 2 files covered. (72.22%)

79986 of 121693 relevant lines covered (65.73%)

1517505.09 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
5
76.86
 0.13% src/mcsat/nra/nra_plugin.c
Jobs
ID Job ID Ran Files Coverage
1 8742612759.1 1625
66.47
 GitHub Action Run
Source Files on build 8742612759