1
65%
master: 65%

Ran 18 Apr 2024 06:11PM UTC

Files 1625

Run time 46s

Badge

Embed ▾

Committed 18 Apr 2024 06:03PM UTC coverage: 66.467% (+0.003%) from 66.464%

Job # 8742612759.1

Build Type

push

github

Committed by

web-flow

Commit Message

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

Run Details

88111 of 132563 relevant lines covered (66.47%)

1393071.57 hits per line

SRI-CSL / yices2 / 8742612759 / 1
65%
master: 65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8742612759.1

SRI-CSL / yices2 / 8742612759 / 1 65% master: 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 8742612759.1

SRI-CSL / yices2 / 8742612759 / 1
65%
master: 65%

README BADGES
x