15318313058
65%

Ran 29 May 2025 07:13AM UTC

Jobs 1

Files 486

Run time 1min

Badge

Embed ▾

Committed 29 May 2025 07:03AM UTC coverage: 65.371%. Remained the same

Build # 15318313058

Build Type

push

github

Committed by

web-flow

Commit Message

Exposing type macro handling to API (#546)

* Exposing type macro handling to API

* Adding __YICES_DLLSPEC__ to API functions

* Exposing TYPE_MACRO_MAX_ARITY

* Adding tests for type macro api

* Update types.h

---------

Co-authored-by: Ahmed Irfan <43099566+ahmed-irfan@users.noreply.github.com>

Run Details

1 of 7 new or added lines in 1 file covered. (14.29%)

81199 of 124213 relevant lines covered (65.37%)

1460539.53 hits per line

New Missed Lines in Diff

Lines	Coverage	∆	File
6	26.36	0.0%	src/api/yices_api.c

Jobs

ID	Job ID	Ran	Files	Coverage
1	15318313058.1	29 May 2025 07:13AM UTC	486	65.37	GitHub Action Run

SRI-CSL / yices2 / 15318313058
65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 15318313058

SRI-CSL / yices2 / 15318313058 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

New Missed Lines in Diff

Jobs

Source Files on build 15318313058

SRI-CSL / yices2 / 15318313058
65%

README BADGES
x