Contre la référence d'etm75, 29 fonctions changent, toutes par le verdict de l'écart commande/mesure ou ce qui en découle : - 21 par `command.divergent` seul (marches suivies et premières commandes qui ne divergent plus ; mesures remises à la main par le harnais qui divergent) ; - `run` : `expectedW` de la borne commandée par le proxy (mémoire de commande tous émetteurs) et 46 cycles de gel sous arrêt verrouillé ; - 7 où la garde de refus mord enfin : datée à l'horloge murale, elle était inerte dans toute la suite de simulation. Plus les 6 fonctions de test nouvelles. Détail dans le rapport du lot. run-decisions.sh check : IDENTIQUE (24 415 lignes). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
560 KiB
560 KiB