/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. 

  2. 

  3. int Circle (int x, int y, int radius) {
    4. 

  4.   /* Draw Circle */
    5. 

  5.   printf("Drawing the circle...\n");
    6. 

  6.   /* Return -1 to test contract post assertion */
    7. 

  7.   if (radius == 2)
    8. 

  8.     return -1;
    9. 

  9.   else
    10. 

  10.     return 1;
    11. 

  11. }
    12.