test_delta_ghz_is_local_for_tested_mqt_family (test_cm_modal.GHZTests.test_delta_ghz_is_local_for_tested_mqt_family) ... ok
test_support_ghz_strong_modal_contradiction (test_cm_modal.GHZTests.test_support_ghz_strong_modal_contradiction) ... ok
test_bstar_logical_but_not_strong_for_all_192_reversible_bases (test_cm_modal.GateAndMeasurementClassificationTests.test_bstar_logical_but_not_strong_for_all_192_reversible_bases) ... ok
test_complete_smith_contextuality_classification (test_cm_modal.GateAndMeasurementClassificationTests.test_complete_smith_contextuality_classification) ... ok
test_gate_counts (test_cm_modal.GateAndMeasurementClassificationTests.test_gate_counts) ... ok
test_offdiagonal_hardy_witnesses (test_cm_modal.GateAndMeasurementClassificationTests.test_offdiagonal_hardy_witnesses) ... ok
test_projective_measurement_basis_counts (test_cm_modal.GateAndMeasurementClassificationTests.test_projective_measurement_basis_counts) ... ok
test_support_coverage_2sat_matches_bruteforce_on_unitary_bases (test_cm_modal.GateAndMeasurementClassificationTests.test_support_coverage_2sat_matches_bruteforce_on_unitary_bases) ... ok
test_unit_scaling_preserves_zero_nonzero_support (test_cm_modal.GlobalUnitSupportTests.test_unit_scaling_preserves_zero_nonzero_support) ... ok
test_hstar_splits_both_basis_states (test_cm_modal.KnownGateTests.test_hstar_splits_both_basis_states) ... ok
test_requested_regressions (test_cm_modal.KnownGateTests.test_requested_regressions) ... ok
test_bell_tables_match_regression (test_cm_modal.ModalBellTests.test_bell_tables_match_regression) ... ok
test_support_bell_has_no_global_assignment (test_cm_modal.ModalBellTests.test_support_bell_has_no_global_assignment) ... ok
test_conjugation_and_units (test_cm_modal.RingTests.test_conjugation_and_units) ... ok
test_original_support_quotient (test_cm_modal.RingTests.test_original_support_quotient) ... ok
test_phase_relations (test_cm_modal.RingTests.test_phase_relations) ... ok
test_class_counts (test_cm_modal.SmithAndSeparabilityTests.test_class_counts) ... ok
test_support_and_bstar_bell_different_smith_classes (test_cm_modal.SmithAndSeparabilityTests.test_support_and_bstar_bell_different_smith_classes) ... ok
test_bstar_resource_obstruction (test_cm_modal.TeleportationTests.test_bstar_resource_obstruction) ... ok
test_resource_theorem_over_all_65536_resources (test_cm_modal.TeleportationTests.test_resource_theorem_over_all_65536_resources) ... ok
test_singular_resource_hierarchy (test_cm_modal.TeleportationTests.test_singular_resource_hierarchy) ... ok
test_universal_protocol (test_cm_modal.TeleportationTests.test_universal_protocol) ... ok

----------------------------------------------------------------------
Ran 22 tests in 25.620s

OK
