top_level
Lines
7.32 %
Functions
2.59 %
Directory
Line Coverage
Functions
conjure_oxide/src
0%
0%
0 / 48
0%
0 / 4
conjure_oxide/src/utils
0%
0%
0 / 252
0%
0 / 42
conjure_oxide/tests
0%
0%
0 / 1136
0%
0 / 49
crates/conjure_core/src
0%
0%
0 / 125
0%
0 / 104
crates/conjure_core/src/ast
0%
0%
0 / 745
0%
0 / 443
crates/conjure_core/src/parse
0%
0%
0 / 302
0%
0 / 40
crates/conjure_core/src/rule_engine
0%
0%
0 / 376
0%
0 / 92
crates/conjure_core/src/rules
0%
0%
0 / 706
0%
0 / 374
crates/conjure_core/src/solver
0%
0%
0 / 120
0%
0 / 73
crates/conjure_core/src/solver/adaptors
0%
0%
0 / 437
0%
0 / 114
crates/conjure_core/src/stats
0%
0%
0 / 15
0%
0 / 8
crates/conjure_macros/src
92.92%
92.92%
105 / 113
51.61%
16 / 31
crates/enum_compatability_macro/src
100%
100%
77 / 77
50%
8 / 16
crates/uniplate/src
0%
0%
0 / 201
0%
0 / 52
crates/uniplate/src/test_common
0%
0%
0 / 35
0%
0 / 12
crates/uniplate/tests
0%
0%
0 / 368
0%
0 / 34
crates/uniplate_derive/src
89.38%
89.38%
101 / 113
33.33%
6 / 18
crates/uniplate_derive/src/utils
86.73%
86.73%
183 / 211
33.33%
14 / 42
crates/uniplate_derive/tests
0%
0%
0 / 188
0%
0 / 36
solvers/chuffed/src
0%
0%
0 / 46
0%
0 / 14
solvers/chuffed/tests
0%
0%
0 / 62
0%
0 / 5
solvers/kissat/src
0%
0%
0 / 21
0%
0 / 1
solvers/minion/src
0%
0%
0 / 638
0%
0 / 91
solvers/minion/tests
0%
0%
0 / 32
0%
0 / 2