diff options
Diffstat (limited to 'Examples/contract/simple_c/runme2.py')
-rw-r--r-- | Examples/contract/simple_c/runme2.py | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Examples/contract/simple_c/runme2.py b/Examples/contract/simple_c/runme2.py deleted file mode 100644 index 48d4a3f10..000000000 --- a/Examples/contract/simple_c/runme2.py +++ /dev/null @@ -1,20 +0,0 @@ -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) |