SRI-CSL / yices2 / 28079007648
69%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 493
Run time 1min
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: 69.296%. Remained the same
28079007648

push

github

ahmed-irfan 
Fill gaps in Sphinx API docs identified in PR #644 review

Several public API functions added since 2.7.0 were missing from the
Sphinx documentation entirely, and two incorrect "Since 2.7.0" version
annotations in the headers were pointing at the wrong release.

Missing function entries added:
- yices_new_model() (Since 2.6.4) in model-operations.rst
- yices_generalize_model_with_budget / _array_with_budget (Since 2.8.0)
- yices_implicant_cubes_for_formula / _for_formulas (Since 2.8.0)

Missing type/enum entries added to api-types.rst:
- YVAL_FINITEFIELD in the yval_tag_t block (Since 2.7.0)
- YICES_FF_CONSTANT and YICES_FF_SUM in term_constructor_t (Since 2.7.0)
- YICES_GEN_BY_PROJ_WIDE in yices_gen_mode_t (Since 2.8.0)

Missing error code added to context-operations.rst:
- MCSAT_ERROR_ASSUMPTION_TYPE_NOT_SUPPORTED in both
  yices_check_context_with_model and _with_model_and_hint

Version annotations corrected in headers:
- YICES_GEN_BY_PROJ_WIDE and yices_generalize_model_with_budget were
  marked "Since 2.7.0" but were added after the yices-2.7.0 tag;
  corrected to 2.8.0 in both yices.h and yices_types.h

Since annotations added to all finite-field API entries (Since 2.7.0):
- yices_ff_type, yices_ff_const and arithmetic/atom constructors,
  yices_ff_const_value, yices_model_set_ff_mpz, yices_get_ff_value,
  yices_val_get_ff

90718 of 130913 relevant lines covered (69.3%)

1563160.52 hits per line

Jobs
ID Job ID Ran Files Coverage
1 28079007648.1 493
69.3
 GitHub Action Run
Source Files on build 28079007648