1
88%
main: 88%

Ran 07 Apr 2022 01:12PM CUT

Files 8

Run time 3s

Badge

Committed 07 Apr 2022 01:12PM CUT coverage: 94.766% (-0.4%) from 95.2%

Build Type

push

github

Committed by GitHub

Commit Message

Feature/multiple heuristics (#48)

Run Details

1684 of 1777 relevant lines covered (94.77%)

1.68 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
91.14	lib/src/datatypes/bdd.rs	284	79	72	7	1.0
93.05	lib/src/adf.rs	979 + 60	489 + 27	455 + 18	34 + 9	2.0 + 1.0
93.63	lib/src/obdd.rs	825	424	397	27	1.0
94.31	lib/src/adfbiodivine.rs	647	281	265	16	1.0
95.98	lib/src/parser.rs	536	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