Al fine di aiutare gli studenti a superare il pretest, i docenti hanno preparato tre quiz: uno per il Calcolo Proposizionale, uno per la Logica del Primo Ordine ed uno per le triple di Hoare. I quiz sono da considerarsi come delle vere e proprie simulazioni del pretest: infatti questi hanno la stessa durata e le stesse tipologie di domande del pretest. I tre quiz sono disponibili su Moodle. Ogni quiz può essere ripetuto più volte.
Le domande concernenti Calcolo Proposizionale e Logica del Primo Ordine sono analoghe a quelle previste dalla vecchia modalità d'esame. Per quanto riguarda le Triple di Hoare invece l'enfasi non è concentrata sul sistema di dimostrazione, come lo era nella prova scritta della vecchia modalità d'esame, ma piuttosto sulle nozioni di base, come ad esempio la semantica del linguaggio imperativo, il predicato def e la nozione di tripla soddisfatta.
I docenti, preoccupati dal fatto che alcuni studenti possano trovarsi disorientati, hanno preparato delle note, disponibili su Moodle, che mostrano la risoluzione delle varie tipologie di esercizi sulle triple.