COMANDO: Post-Verifiche Libere-Verifica!

[Ribbon-Post 1]

Questo comando comporta la esecuzione delle verifiche libere.

Perché il comando possa funzionare:

1.Deve essere stata eseguita la analisi statica.

2.Deve esistere almeno una condizione (una verifica) e non solo variabili.

3.Devono esistere delle combinazioni.

Per i dettagli su cosa avvenga si veda la sezione Verifiche Libere. Alla fine delle verifiche viene creato un file binario FCK che contiene tutti i risultati pertinenti.

Tipo: immediato

Destinazione: documento