Method test_create_enum

tests/test_z3_ported.py:3321–3324

(self, kernel)

    """Test EnumSort factory."""

    def test_create_enum(self, kernel):
        Color, (red, green, blue) = EnumSort("Color_e1", ["red", "green", "blue"])
        assert isinstance(Color, SortRef)
        assert Color.name() == "Color_e1"

    def test_enum_constants(self, kernel):
        Color, (red, green, blue) = EnumSort("Color_e2", ["red", "green", "blue"])