summaryrefslogtreecommitdiff
path: root/Examples/contract/simple_c/runme2.py
diff options
context:
space:
mode:
Diffstat (limited to 'Examples/contract/simple_c/runme2.py')
-rw-r--r--Examples/contract/simple_c/runme2.py20
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)