Test for Custome Constrain Systems

[0xJepsen]

• [ ] test_ccs_invalid_c_length(): This test should check that is_satisfied_by returns an error when c does not have length q.
• [ ] test_ccs_invalid_M_length(): This test should check that is_satisfied_by returns an error when M does not have length t.
• [ ] test_ccs_invalid_x_length(): This test should check that is_satisfied_by returns an error when x does not have length l.
• [ ] test_ccs_invalid_w_length(): This test should check that is_satisfied_by returns an error when w does not have length n - l - 1.
• [ ] test_ccs_invalid_s_cardinality(): This test should check that is_satisfied_by returns an error when any Si in S has a cardinality greater than d.
• [ ] test_ccs_invalid_s_value(): This test should check that is_satisfied_by returns an error when any Si in S contains a value not in the domain {0, ..., t-1}.