/trunk/Examples/contract/simple_c/example.c
C | 11 lines | 8 code | 1 blank | 2 comment | 2 complexity | 038f1516a1fce7b7c6530ad93c86ea80 MD5 | raw file
1#include <stdio.h> 2 3int Circle (int x, int y, int radius) { 4 /* Draw Circle */ 5 printf("Drawing the circle...\n"); 6 /* Return -1 to test contract post assertion */ 7 if (radius == 2) 8 return -1; 9 else 10 return 1; 11}