PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

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