Lectura de código real

Leer una comprobación de invariante

Texto

función comprobar(chat):    afirmar cantidad ≤ capacidad    para i desde 0 hasta cantidad − 1:        afirmar casilleros[i] ≠ vacío    para i desde cantidad hasta capacidad − 1:        afirmar casilleros[i] = vacío

¿Qué estado inválido detecta el segundo bucle de comprobar que el primero no ve?Un mensaje repetido en dos casilleros, por ejemplo tras copiar sin borrar el originalUn mensaje más allá de cantidad, por ejemplo si cantidad bajó sin vaciar el casilleroUn hueco entre mensajes, por ejemplo si un casillero intermedio quedó vacío tras borrarQue cantidad supere a capacidad, por ejemplo tras agregar a un chat que ya estaba lleno