Conclusione
prove legate ai file
Un test, un lint, un typecheck o una build contano solo se sono passati, se il loro exit code ha determinato l'esito della riga, se nessun file è cambiato durante l'esecuzione e se i file sono ancora esattamente quelli su cui sono stati eseguiti.
Facoltativi
exact: conta solo il comando completo, ecwdstabilisce dove deve essere eseguito.scope(conexact): una modifica fuori dalle directory indicate lascia il risultato valido.ignore(per tutta la policy): l'output scritto da un controllo, come la coverage, non conta come modifica.
