6476809990
65%

Ran 11 Oct 2023 01:38AM UTC

Jobs 1

Files 471

Run time 38s

Badge

Committed 11 Oct 2023 01:28AM UTC coverage: 65.098%. Remained the same

Build Type

push

github

Committed by

Commit Message

hack: undef status_interrupted to fix windows build (#467)

* hack: undef status_interrupted to fix windows build

* follow Mark's suggestion

Run Details

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

79161 of 121602 relevant lines covered (65.1%)

1504358.13 hits per line

Lines	Coverage	∆	File
1	77.89	0.0%	src/mcsat/solver.c
1	79.72	0.0%	src/solvers/cdcl/smt_core.c
2	26.48	0.0%	src/api/yices_api.c
2	0.0	0.0%	src/solvers/cdcl/smt_core_printer.c
4	78.62	0.0%	src/exists_forall/efsolver.c
4	26.9	0.0%	src/frontend/yices/yices_reval.c
7	48.61	0.0%	src/frontend/smt2/smt2_commands.c

ID	Job ID	Ran	Files	Coverage
1	6476809990.1	11 Oct 2023 01:38AM UTC	1615	65.71	GitHub Action Run