annotated_code
debutant
Écrivez les annotations Hoare complètes pour le calcul de la factorielle (approche itérative).
int factorielle(int n) {
int f = 1, k = 1;
while (k <= n) { f = f * k; k = k + 1; }
return f;
}int factorielle(int n) {
int f = 1, k = 1;
while (k <= n) { f = f * k; k = k + 1; }
return f;
}