Module kimchi_msm::test::generic

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