/trunk/Examples/contract/simple_c/runme1.py

# · Python · 17 lines · 10 code · 5 blank · 2 comment · 0 complexity · 12d9a48dea88541b59724e2eb76a7034 MD5 · raw file

  1. import example
  2. # Call the Circle() function correctly
  3. x = 1;
  4. y = 1;
  5. r = 3;
  6. c = example.Circle(x, y, r)
  7. # test post-assertion
  8. x = 1;
  9. y = 1;
  10. r = 2;
  11. c = example.Circle(x, y, r)
  12. print "The return value of Circle(%d, %d, %d) is %d" % (x,y,r,c)