Bubblesort: determining the invariant for inner- and outer-loop

Question

I am not 100 % sure how to determine the invariants for the following bubblesort-implementation:

BubbleSort(A[1,...,n])

s <- 1
while s = 1
        s <- 0