python: improved example

parent 637695e6
......@@ -40,3 +40,8 @@ while l <= u:
#@ assert -1 <= r < n
#@ assert if r >= 0 then a[r] == v else forall i. 0 <= i < n -> a[i] != v
if r == -1:
print("valeur absente")
else:
print("position", r)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment