(self, kernel)
| 3324 | assert Color.name() == "Color_e1" |
| 3325 | |
| 3326 | def test_enum_constants(self, kernel): |
| 3327 | Color, (red, green, blue) = EnumSort("Color_e2", ["red", "green", "blue"]) |
| 3328 | assert isinstance(red, ExprRef) |
| 3329 | assert isinstance(green, ExprRef) |
| 3330 | assert isinstance(blue, ExprRef) |
| 3331 | |
| 3332 | def test_enum_distinct(self, kernel): |
| 3333 | Color, (red, green, blue) = EnumSort("Color_e3", ["red", "green", "blue"]) |
nothing calls this directly
no test coverage detected