Method test_enum_distinct

tests/test_z3_ported.py:3332–3337

(self, kernel)

        assert isinstance(blue, ExprRef)

    def test_enum_distinct(self, kernel):
        Color, (red, green, blue) = EnumSort("Color_e3", ["red", "green", "blue"])
        # Constants should have different names
        assert repr(red) == "Color_e3.red"
        assert repr(green) == "Color_e3.green"
        assert repr(blue) == "Color_e3.blue"

    def test_enum_sort_attribute_access(self, kernel):
        Color, consts = EnumSort("Color_e4", ["red", "green", "blue"])