/trunk/Examples/contract/simple_c/example.c

 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}