Sign in
fuchsia
/
third_party
/
swig
/
3738dcc7474d50e3e3a579404efc471e35757a8b
/
.
/
Examples
/
contract
/
simple_c
/
example.c
blob: 85a3e14179ef0da4eac15451333cdccc731358a4 [
file
] [
log
] [
blame
]
#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
;
}