Dovrei verificare la correttezza di alcune righe di codice utilizzando le triple di Hoare, questo è il codice:
if (succ == prec)
controllo = 0;
else if (n == ',' || n == '[')
{
if (islower(succ) != 0 || isupper(succ) != 0 || isdigit(succ) != 0)
controllo = 1;
else
controllo = 0;
}
Spiegazione:
Se il successivo è uguale al precedente (parliamo di char) il controllo va a 0, mentre se viene soddisfatto l'else if (dove n deve essere virgola oppure [ ) si ha un ulteriore passo per definire la variabile controllo, ovvero se il successivo è lettera, maiuscola o minuscola, oppure una cifra, controllo va ad 1, altrimenti a 0.
Ci ho provato ma non sono affatto sicuro del risultato, per questo vi chiedo aiuto