1
65%
master: 65%

Ran 02 Nov 2024 06:36AM UTC

Files 1697

Run time 44s

Badge

Embed ▾

Committed 02 Nov 2024 06:27AM UTC coverage: 66.665% (-0.003%) from 66.668%

Job # 11640587130.1

Build Type

push

github

Committed by

web-flow

Commit Message

Improved Integer handling in NRA plugin (#533)

* Update propagation with lp_feasibility_set_is_point_int.

* Use lp_feasibility_set_contains_int() instead of pick_value.

* Removed duplicated line.

* Code cleanup: fixed variable name

* Using nra_plugin_report_int_conflict where appropriate

* Fixed missing line

* Code cleanup

* Made postponed conflicts in NRA explicit.

* Removed interval approx for hinting.

* int/real hints

---------

Co-authored-by: Thomas Hader <tom@hader.email>
Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>

Run Details

90079 of 135121 relevant lines covered (66.67%)

1399634.21 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11640587130.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 11640587130.1

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

README BADGES
x