PageRenderTime 34ms CodeModel.GetById 27ms app.highlight 4ms RepoModel.GetById 1ms app.codeStats 0ms

/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)