Completez le triplet : { ??? } x = x + 1; { x > 0 }

x = x + 1;

Précondition {P} :

Écrivez la précondition. Format : 0 <= |x|

Valider