diff options
Diffstat (limited to 'Examples/contract/simple_c/runme1.py')
| -rw-r--r-- | Examples/contract/simple_c/runme1.py | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Examples/contract/simple_c/runme1.py b/Examples/contract/simple_c/runme1.py deleted file mode 100644 index abd8df62f..000000000 --- a/Examples/contract/simple_c/runme1.py +++ /dev/null @@ -1,17 +0,0 @@ -import example -# Call the Circle() function correctly - -x = 1; -y = 1; -r = 3; - -c = example.Circle(x, y, r) - -# test post-assertion -x = 1; -y = 1; -r = 2; - -c = example.Circle(x, y, r) - -print "The return value of Circle(%d, %d, %d) is %d" % (x,y,r,c) |