Descrizione

È stato eseguito un confronto progetti durante il quale le proprietà del progetto da verificare sono state confrontate con quelle del progetto di confronto e sono state individuate delle differenze.

Il messaggio viene visualizzato se viene rilevata una differenza relativa alle proprietà di un potenziale (di una definizione potenziale o di un attacco potenziale). Con <x> viene indicato il nome potenziale, con <y> la rimozione, l'aggiunta o la modifica di una delle proprietà del potenziale.