File Line Coverage Functions
attribute_as_constraint.rs 83.53% 83.53% 208 / 249 51.43% 18 / 35
attribute_as_constraint_fallback.rs 95.95% 95.95% 142 / 148 71.43% 15 / 21
base.rs 100% 100% 44 / 44 66.67% 4 / 6
bubble.rs 97.08% 97.08% 166 / 171 66.67% 20 / 30
catch_undef.rs 100% 100% 22 / 22 66.67% 4 / 6
element_id.rs 55.36% 55.36% 31 / 56 16.67% 3 / 18
lex.rs 59.52% 59.52% 25 / 42 41.67% 5 / 12
representation.rs 92.51% 92.51% 432 / 467 74.15% 109 / 147
representation_cost.rs 89.16% 89.16% 181 / 203 44.44% 44 / 99
table.rs 90.38% 90.38% 47 / 52 44.44% 4 / 9
variables_in_domains.rs 87.76% 87.76% 208 / 237 70.97% 44 / 62