6277412324
66%

Ran 22 Sep 2023 05:50PM UTC

Jobs 1

Files 471

Run time 45s

Badge

Committed 22 Sep 2023 05:41PM UTC coverage: 64.973% (-0.01%) from 64.983%

Build Type

push

github

Committed by

Commit Message

MC-SAT Thread Safety (#456)

* Correct debug code.

* Avoid deadlocks in MC-SAT.

---------

Co-authored-by: Mark Mitchell <mark.mitchell@sri.com>

Run Details

26 of 26 new or added lines in 7 files covered. (100.0%)

78998 of 121585 relevant lines covered (64.97%)

1324987.66 hits per line

Lines	Coverage	∆	File
2	61.19	0.0%	src/mcsat/bv/bv_explainer.c
2	89.15	0.0%	src/mcsat/preprocessor.c
3	64.39	0.0%	src/mcsat/conflict.c
4	26.48	-0.23%	src/api/yices_api.c

Lines	Coverage	∆	File
1	89.15	0.0%	src/mcsat/preprocessor.c
8	26.48	-0.23%	src/api/yices_api.c

ID	Job ID	Ran	Files	Coverage
1	6277412324.1	22 Sep 2023 05:50PM UTC	1615	65.58	GitHub Action Run