Salve a tutti, volevo chiedermi come posso dimostrare con le triple di hoare la correttezza del seguente segmento di codice.
do
{
n_valori = scanf("%d",
&scelta);
if (n_valori != 1 && (scelta != 0 || scelta != 1))
{
printf("Errore!\n");
while(getchar() != '\n');
}
} while((n_valori != 1) &&
(scelta != 0 ||
scelta != 1));
Grazie a tutti :) :)