kimchi_msm::test

Module generic

Source

Functionsยง

test_completeness_generic
test_completeness_generic_no_lookups
test_completeness_generic_only_relation
No lookups, no selectors, only witness column. N_WIT == N_REL.
test_soundness_generic