Dans cpu-alu.h (qui nous est fourni), ligne 41, on a:
Cependant on a ceci dans la donnée
Il me semble que le ROT_FLAGS_SRC qu'on a eu n'est pas correct. Il correspond à 000C, au lieu de Z00C. En changeant pour correspondre à la donnée, les tests passent aussi.
Je crois qu'il s'agit d'une erreur dans le code fourni, mais c'est possible que j'ai raté une correction transmise dans le forum, dans quel cas je m'excuse.