/tags/rel-1.3.35/Examples/contract/simple_c/runme1.py
Python | 17 lines | 10 code | 5 blank | 2 comment | 0 complexity | 12d9a48dea88541b59724e2eb76a7034 MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0
- import example
- # Call the Circle() function correctly
- x = 1;
- y = 1;
- r = 3;
- c = example.Circle(x, y, r)
- # test post-assertion
- x = 1;
- y = 1;
- r = 2;
- c = example.Circle(x, y, r)
- print "The return value of Circle(%d, %d, %d) is %d" % (x,y,r,c)