1
88%
master: 88%

Ran 14 Jun 2020 01:32PM CUT

Files 18

Run time 1s

Badge

Committed 14 Jun 2020 01:32PM CUT coverage: 88.01%. Remained the same

Build Type

push

github

Committed by GitHub

Commit Message

Update README.md

Run Details

1013 of 1151 relevant lines covered (88.01%)

97584.75 hits per line

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	include/easy/utils/string_utils.hpp	192	38	0	38	0.0
0.0	include/easy/sat/cnf_writer.hpp	81	20	0	20	0.0
70.91	include/easy/sat/gauss.hpp	154	55	39	16	23434.0 - 476
76.09	include/easy/sat/sat_solver.hpp	181	46	35	11	294172.0 - 5532
81.19	include/easy/sat2/sat_solver.hpp	427	101	82	19	162271.0 - 369
88.99	include/easy/esop/exact_synthesis.hpp	270	109	97	12	67132.0 - 1179
92.86	include/easy/io/read_esop.hpp	78	14	13	1	1.0
94.03	include/easy/utils/dynamic_bitset.hpp	371	67	63	4	434405.0 - 552
94.12	include/easy/esop/cube_manipulators.hpp	80	17	16	1	1680096.0 - 3856
94.23	include/easy/sat/constraints.hpp	236	52	49	3	184829.0 - 3687