Una operación se ejecuta en la modalidad de verificación cuando se especifica el argumento de verificación (-i). Las comprobaciones se efectúan para asegurarse de que la operación es posible, por ejemplo, si las comprobaciones de estado de CM o de dependencia devuelven valores true en todos los puntos finales.

Se crean entradas de registro para los puntos finales que no superan una comprobación de forma satisfactoria. Puede emplear el argumento de registro detallado (-v) al ejecutar un comando en la modalidad de verificación.

De este modo se genera un informe mucho más detallado de las comprobaciones anómalas.