1
94%
master: 83%

Ran 29 Dec 2020 06:56PM CUT

Files 8

Run time 2s

Badge

Committed 29 Dec 2020 06:56PM CUT coverage: 94.316%. Remained the same

Job # #74.1

Build Type

push

Committed by Chase Wilson

Commit Message

Removed -Zmiri-disable-isolation flag

Run Details

1792 of 1900 relevant lines covered (94.32%)

1.66 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
88.62	src/arena.rs	353	123	109	14	2.0
90.51	src/util.rs	559	158	143	15	1.0
93.13	src/reader.rs	1011	233	217	16	1.0
94.77	src/single_threaded.rs	1596	554	525	29	1.0
95.15	src/multi_threaded.rs	1651	557	530	27	1.0
96.07	src/resolver.rs	837	178	171	7	1.0
100.0	src/key.rs	337	90	90	0	1.0
100.0	tests/static_rodeo.rs	26	7	7	0	1.0