Summary
Shortlog
Changelog
Graph
Tags
Bookmarks
Branches
Files
Help
Search
simplify
tests/while2.py
284:85000c878e8a
210:665ac29a312a
2007-10-14
Paul Boddie
raw
annotate
files
changeset
graph
Introduced iteration over instance fixing in order to reduce the non-distinct instances as much as possible.
1
def
f
(
x
):
2
while
x
:
3
y
=
3
4
x
-=
1
5
return
y
6
7
f
(
1
)