15855252502
65%

Ran 24 Jun 2025 03:57PM UTC

Jobs 1

Files 486

Run time 2min

Badge

Committed 24 Jun 2025 03:48PM UTC coverage: 65.355% (-0.01%) from 65.369%

Build Type

push

github

Committed by

Commit Message

Mcsat partial restart (#577)

* mcsat partial restart

* more

* fix

* more fix

* minor

* format

* format

* partial restart stat

Run Details

13 of 45 new or added lines in 3 files covered. (28.89%)

81206 of 124254 relevant lines covered (65.35%)

1460815.69 hits per line

Lines	Coverage	∆	File
4	34.27	-0.01%	src/frontend/yices_smt2.c
28	77.3	-1.5%	src/mcsat/solver.c

ID	Job ID	Ran	Files	Coverage
1	15855252502.1	24 Jun 2025 03:57PM UTC	486	65.35	GitHub Action Run