summaryrefslogtreecommitdiff
path: root/Examples/contract/simple_c/runme2.py
blob: 48d4a3f101a56e183df8d018b44f67d9dc26e7ac (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
import example 

# Call the Circle() function correctly

x = 1;
y = 1;
r = 3;

c = example.Circle(x, y, r)

print "The return value of Circle(%d, %d, %d) is %d" % (x,y,r,c)

# test pre-assertion
x = 1;
y = -1;
r = 3;

c = example.Circle(x, y, r)

print "The return value of Circle(%d, %d, %d) is %d" % (x,y,r,c)