Per attivare un punto di controllo
1. Selezionate il punto di controllo nell'Albero punti di controllo (Checkpoint Tree).
2. Fate clic su
![](../design_exploration/images/checkpoint_activate16x16.png)
o fate clic con il pulsante destro del mouse e scegliete
Attiva (Activate). Il punto di controllo diventa attivo.