3
54%
master: 51%

Ran 13 Nov 2024 06:56PM CUT

Files 60

Run time 5s

Badge

Committed 13 Nov 2024 06:37PM CUT coverage: 50.791% (+0.1%) from 50.692%

Build Type

push

github

Committed by

Commit Message

Add a workspace test for optimization

Run Details

36493 of 71850 relevant lines covered (50.79%)

261111.95 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	sources/compress.c	735	246	0	246	0.0
0.0	sources/mytime.cc	45	12	0	12	0.0
0.0	sources/factor.c	867	506	0	506	0.0
0.0	sources/minos.c	1456	830	0	830	0.0
3.18	sources/checkpoint.c	3232	1195	38	1157	4004.0 + 16
8.4	sources/diagrams.c	742	357	30	327	5.0
11.98	sources/tables.c	2260	1252	150	1102	1155.0 + 4
20.61	sources/store.c	5200	2969	612	2357	14116.0 + 582
28.99	sources/findpat.c	1407	890	258	632	315115.0
29.7	sources/symmetr.c	2323	1441	428	1013	227.0