15082351134
65%

Ran 17 May 2025 06:15AM UTC

Jobs 1

Files 486

Run time 1min

Badge

Embed ▾

Committed 17 May 2025 06:05AM UTC coverage: 65.343%. Remained the same

Build # 15082351134

Build Type

push

github

Committed by

web-flow

Commit Message

update readme get-model output (#556)

* print_smt2_model: adjust for SMT-LIB syntax

The `model` keyword was adopted by many solvers at some point but was never
part of the SMT-LIB standard. Nowadays, most popular solvers stick more closely
to the standard in this respect and have dropped the "(model [..])" syntax.

More details here:

    https://groups.google.com/g/smt-lib/c/5xpcIxdQ8-A/m/lGGxtApUAgAJ

* update readme

---------

Co-authored-by: Mrmaxmeier <Mrmaxmeier@gmail.com>

Run Details

81163 of 124211 relevant lines covered (65.34%)

1557111.58 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	15082351134.1	17 May 2025 06:15AM UTC	486	65.34	GitHub Action Run

SRI-CSL / yices2 / 15082351134
65%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 15082351134

SRI-CSL / yices2 / 15082351134 65%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 15082351134

SRI-CSL / yices2 / 15082351134
65%

README BADGES
x