Revisión de código

Revisa este cambio

Texto

1  función vaciar(chat):2      para i desde 0 hasta cantidad − 1:3          casilleros[i] ← vacío4  # (fin de la función)

¿Qué invariante rompe vaciar y qué operación lo notará?Los mensajes ocupan 0 a cantidad − 1: cantidad sigue alta con casilleros vacíos, y leer lo notaNinguno: vaciar deja el chat sin mensajes y las operaciones siguientes parten de ceroQue cantidad ≤ capacidad, y agregar lo nota al intentar escribir fuera de los casilleros que hayQue desde cantidad hasta el final los casilleros están vacíos, y agregar lo nota al llenarse