changeset 150:23c816838ca2

example: The while loop example uses new ideal functionality That is the argument version.
author Sigurd Meldgaard <stm@daimi.au.dk>
date Thu, 03 Dec 2009 14:50:37 +0100
parents 2b8260064100
children d4601a70d734
files examples/while-loop.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/examples/while-loop.py	Thu Dec 03 14:49:20 2009 +0100
+++ b/examples/while-loop.py	Thu Dec 03 14:50:37 2009 +0100
@@ -1,7 +1,7 @@
 from pysmcl.ideal_functionality import ideal_functionality
 
 
-@ideal_functionality
+@ideal_functionality(range={'bids': (0,4)})
 def auction(bids):
     precondition("a >= b <=> bids[a] >= bids[b]")
     precondition("0 >= bids[0]")