1
73%
master: 73%

Ran 19 Nov 2024 06:55PM CUT

Files 17

Run time 1s

Badge

Committed 19 Nov 2024 06:54PM CUT coverage: 69.299% (+0.7%) from 68.6%

Build Type

push

github

Committed by

Commit Message

Merge pull request #72 from fjarri/remove-correctness-proof

Remove `CorrectnessProof`

Run Details

1799 of 2596 relevant lines covered (69.3%)

89.96 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
16.67	manul/src/protocol/errors.rs	243 - 15	84 - 3	14	70 - 3	3.0
41.03	manul/src/session/evidence.rs	560	351	144	207	3.0
49.11	manul/src/protocol/round.rs	470 - 17	169	83	86	111.0 + 1.0
52.0	manul/src/dev/wire_format.rs	68	25	13	12	731.0 + 3
57.23	manul/src/session/transcript.rs	256 - 7	159 - 1	91	68 - 1	34.0
59.78	manul/src/combinators/chain.rs	509 - 45	276 - 15	165	111 - 15	13.0
60.25	manul/src/session/echo.rs	292 - 1	161	97	64	33.0 + 1.0
79.02	manul/src/protocol/object_safe.rs	295	143	113	30	126.0 + 1.0
79.73	manul/src/protocol/message.rs	171	74	59	15	201.0
80.35	manul/src/session/session.rs	880 - 9	514 - 5	413 + 1	101 - 6	62.0