1
88%
main: 88%

Ran 04 May 2022 02:14PM CUT

Files 8

Run time 2min

Badge

Committed 04 May 2022 02:14PM CUT coverage: 94.663%. Remained the same

Build Type

push

github

Committed by GitHub

Commit Message

Add CI for develop branch (#62)

Run Details

1685 of 1780 relevant lines covered (94.66%)

1.68 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
91.14	lib/src/datatypes/bdd.rs	289	79	72	7	1.0
93.05	lib/src/adf.rs	979	489	455	34	2.0 + 1.0
93.21	lib/src/obdd.rs	858	427	398	29	1.0
94.31	lib/src/adfbiodivine.rs	649	281	265	16	1.0
95.98	lib/src/parser.rs	542	224	215	9	1.0
100.0	lib/src/datatypes/adf.rs	422	177	177	0	1.0
100.0	lib/src/obdd/vectorize.rs	28	6	6	0	1.0
100.0	lib/src/test.rs	173	97	97	0	1.0