5763065433
88%

Ran 04 Aug 2023 02:01PM CUT

Jobs 1

Files 11

Run time 1s

Badge

Build Type

push

github

Committed by

Commit Message

Add flake app and packages for adf-bdd (#155)

* Add flake packages for adf-bdd

Run Details

1231 of 1406 relevant lines covered (87.55%)

1.82 hits per line

ID	Job ID	Ran	Files	Coverage
1	5763065433.1	04 Aug 2023 02:01PM CUT	11	87.55	GitHub Action Run

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	server/src/adf.rs	748	4	0	4	0.0
81.12	lib/src/obdd.rs	929	233	189	44	1.0
86.21	lib/src/datatypes/bdd.rs	305	58	50	8	1.0
87.43	lib/src/adfbiodivine.rs	648	175	153	22	2.0
88.28	lib/src/nogoods.rs	813	145	128	17	1.0
88.55	lib/src/adf.rs	1380	463	410	53	2.0
88.65	lib/src/parser.rs	581	141	125	16	2.0
91.67	lib/src/obdd/frontend.rs	267	36	33	3	1.0
92.86	lib/src/adf/heuristics.rs	163	56	52	4	1.0
95.51	lib/src/datatypes/adf.rs	442	89	85	4	2.0