diff options
Diffstat (limited to 'Examples/contract/simple_c/example.c')
-rw-r--r-- | Examples/contract/simple_c/example.c | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Examples/contract/simple_c/example.c b/Examples/contract/simple_c/example.c deleted file mode 100644 index 85a3e1417..000000000 --- a/Examples/contract/simple_c/example.c +++ /dev/null @@ -1,11 +0,0 @@ -#include <stdio.h> - -int Circle (int x, int y, int radius) { - /* Draw Circle */ - printf("Drawing the circle...\n"); - /* Return -1 to test contract post assertion */ - if (radius == 2) - return -1; - else - return 1; -} |