3
50%
master: 51%

Ran 13 Jun 2024 09:07PM CUT

Files 64

Run time 3s

Badge

Committed 13 Jun 2024 08:45PM CUT coverage: 47.489% (+0.02%) from 47.47%

Build Type

github

Committed by

Commit Message

Merge 5302a8d6e into 83e3d4185

Run Details

38108 of 80246 relevant lines covered (47.49%)

210615.6 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
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/diagrams.c	729	317	0	317	0.0
0.0	sources/minos.c	1456	830	0	830	0.0
0.0	sources/compress.c	735	246	0	246	0.0
0.0	sources/evaluate.c	705	383	0	383	0.0
1.1	sources/float.c	2528	1183	13	1170	1080891.0
3.18	sources/checkpoint.c	3232	1195	38	1157	3940.0
12.11	sources/tables.c	2310	1272	154	1118	813.0
20.37	sources/store.c	5235	2989	609	2380	12992.0