/trunk/Examples/contract/simple_c/runme1.py
Python | 17 lines | 10 code | 5 blank | 2 comment | 0 complexity | 12d9a48dea88541b59724e2eb76a7034 MD5 | raw file
1import example 2# Call the Circle() function correctly 3 4x = 1; 5y = 1; 6r = 3; 7 8c = example.Circle(x, y, r) 9 10# test post-assertion 11x = 1; 12y = 1; 13r = 2; 14 15c = example.Circle(x, y, r) 16 17print "The return value of Circle(%d, %d, %d) is %d" % (x,y,r,c)