1
54%
master: 51%

Ran 14 Nov 2024 12:27PM CUT

Files 57

Run time 3s

Badge

Committed 14 Nov 2024 11:09AM CUT coverage: 50.549% (+0.01%) from 50.535%

Build Type

push

github

Committed by

Commit Message

Remove the old sort allocation code

Run Details

34709 of 68664 relevant lines covered (50.55%)

328495.77 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	sources/minos.c	1456	830	0	830	0.0
0.0	sources/factor.c	867	506	0	506	0.0
0.0	sources/mytime.cc	45	12	0	12	0.0
2.78	sources/checkpoint.c	3232	1081	30	1051	1143.0
8.38	sources/diagrams.c	742	358	30	328	5.0
11.98	sources/tables.c	2260	1252	150	1102	301.0
24.37	sources/store.c	5200	2967	723	2244	140077.0
28.99	sources/findpat.c	1407	890	258	632	352772.0
29.7	sources/symmetr.c	2323	1441	428	1013	227.0
30.39	sources/if.c	1196	668	203	465	5476.0