Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
645747d4
Commit
645747d4
authored
Jan 31, 2017
by
Jean-Christophe Filliâtre
Browse files
cleaning up
parent
bd52075c
Changes
1
Hide whitespace changes
Inline
Side-by-side
plugins/python/examples/sort.py
View file @
645747d4
...
...
@@ -6,9 +6,9 @@ a = [0] * n
for
i
in
range
(
0
,
len
(
a
)):
a
[
i
]
=
randint
(
0
,
100
)
print
(
a
[
i
])
#for m in range(1, len(a)):
print
(
a
)
m
=
1
while
m
<
len
(
a
):
#@ invariant 0 <= m <= len(a)
...
...
@@ -30,6 +30,5 @@ while m < len(a):
#@ assert forall i,j. 0 <= i <= j < len(a) -> a[i] <= a[j]
for
i
in
range
(
0
,
len
(
a
)):
print
(
a
[
i
])
print
(
a
)
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment