1
65%
master: 65%

Ran 15 Jul 2025 06:45AM UTC

Files 486

Run time 17s

Badge

Embed ▾

Committed 15 Jul 2025 06:35AM UTC coverage: 65.332%. Remained the same

Job # 16285952522.1

Build Type

push

github

Committed by

web-flow

Commit Message

yices2_parallel.py (#564)

* Create yices2_mcsat_parallel.py

* Update yices2_mcsat_parallel.py

* Update yices2_mcsat_parallel.py

* update portfolio

* update portfolio

* Update yices2_parallel.py

* Update yices2_parallel.py

Run Details

81222 of 124321 relevant lines covered (65.33%)

1431331.47 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 16285952522.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 16285952522.1

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

README BADGES
x