15729540299
65%

Ran 18 Jun 2025 10:04AM UTC

Jobs 1

Files 486

Run time 2min

Badge

Committed 18 Jun 2025 09:47AM UTC coverage: 65.349% (-0.007%) from 65.356%

Build Type

push

github

Committed by

Commit Message

Fix mcsat param api (#569)

* fix mcsat param copying

* minor : add missing include in context solver

* update doc

Run Details

14 of 14 new or added lines in 2 files covered. (100.0%)

12 existing lines in 1 file now uncovered.

81198 of 124253 relevant lines covered (65.35%)

1457140.37 hits per line

Lines	Coverage	∆	File
12	60.9	-1.79%	src/mcsat/nra/nra_plugin_explain.c

ID	Job ID	Ran	Files	Coverage
1	15729540299.1	18 Jun 2025 10:04AM UTC	486	65.35	GitHub Action Run