Changes between Initial Version and Version 1 of Ticket #31732, comment 11
- Timestamp:
- 04/27/21 13:10:51 (14 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #31732, comment 11
initial v1 1 Ah, ` defis_empty`, `declare_nonempty` and `has_defined_points` do not admit examples/tests.1 Ah, `is_empty`, `declare_nonempty` and `has_defined_points` do not admit examples/tests.