find_invariant
intermediaire
Trouvez l'invariant de boucle pour premmin.
int premmin(int x[], int n) { if (n==0) return -1; int j=0,k=1; while(k<n){ if(x[k]<x[j])j=k; k++; } return j; }int premmin(int x[], int n) { if (n==0) return -1; int j=0,k=1; while(k<n){ if(x[k]<x[j])j=k; k++; } return j; }