Vous devez vous connecter pour exécuter votre code.
Hoare 2 — Somme des éléments
Écrivez le code C d'une fonction qui calcule la somme des éléments d'un tableau, avec les annotations Hoare complètes.
Invariant attendu :
0 <= k <= n && s = somme de t[0..k-1]
Quantité de contrôle attendue :
n - k
#include <stdio.h>
// @pre: n >= 0
// @post: retourne la somme de t[0..n-1]
// @invariant: 0 <= k <= n && s = somme de t[0..k-1]
// @variant: n - k
int somme(int t[], int n) {
int s = 0, k = 0;
while (k < n) {
s = s + t[k];
k = k + 1;
}
return s;
}
int main() {
int n, arr[1000];
scanf("%d", &n);
for (int i = 0; i < n; i++) scanf("%d", &arr[i]);
printf("%d\n", somme(arr, n));
return 0;
}