python: Python 3 requires int() around input()

parent 8322d982
......@@ -72,6 +72,9 @@ module Python
val input () : int
val int (n: int) : int
ensures { result = n }
exception Break
end
......@@ -16,7 +16,7 @@ while i < n:
#@ assert forall i1, i2. 0 <= i1 <= i2 < len(a) -> a[i1] <= a[i2]
print(a)
v = input("quelle valeur cherchez-vous : ")
v = int(input("quelle valeur cherchez-vous : "))
l = 0
u = n-1
......
......@@ -5,7 +5,7 @@ m = randint(0, 100)
print("j'ai choisi un nombre entre 0 et 100")
print("vous devez le trouver")
while True:
x = input("votre choix : ")
x = int(input("votre choix : "))
print(x)
if x < 0 or x > 100:
print("j'ai dit entre 0 et 100")
......
a = input("entrez a : ")
b = input("entrez b : ")
a = int(input("entrez a : "))
b = int(input("entrez b : "))
#@ assume b >= 0
......@@ -17,4 +17,3 @@ while q > 0:
print(r)
#@ assert r == a * b
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