A\dd a precondition that the t_cell_collection_t component positions_ is allocated the positions type-bound procedure #54
Description
To Do
- Add the precondition in the UML diagram
- Add the corresponding assertion in the
t_cell_collection_ssubmodule
Metadata
Metadata
Assignees
Labels
No labels