Completez la postcondition : { x >= 0 && y >= 0 } z = x + y; { ??? }

z = x + y;

Précondition {P} :

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

Valider