Cammini nascosti
non abbiamo ancora un numero di casi sufficiente
- non abbiamo testato affatto remove
- non abbiamo ancora considerato i cammini in altre specifiche
ci sono cammini “nascosti”
- la size di un IntSet non cambia se inseriamo un elemento che è già nell’insieme
- dobbiamo perciò considerare il caso in cui inseriamo l’elemento due volte
- la size decresce quando rimuoviamo un elemento soltanto se l’elemento è già nell’insieme
- dobbiamo considerare un caso in cui rimuoviamo un elemento dopo averlo inserito e un altro in cui rimuoviamo un elemento che non è nell’insieme
questi cammini nascosti si trovano guardando i cammini nei modificatori
- insert deve funzionare sia che l’elemento sia già o no nell’insieme
- analogamente per remove