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