Écrivez les annotations Hoare (@pre, @post, @invariant, @variant) pour le tri par sélection du minimum.

void selection_sort(int x[], int n) {
    for (int i = 0; i < n - 1; i++) {
        int min_idx = i;
        for (int j = i + 1; j < n; j++)
            if (x[j] < x[min_idx]) min_idx = j;
        if (min_idx != i) { int t=x[i]; x[i]=x[min_idx]; x[min_idx]=t; }
    }
}

Annotations Hoare complètes (@pre, @post, @invariant, @variant) :

Valider