summaryrefslogtreecommitdiff
path: root/doc/example/src/main.c
diff options
context:
space:
mode:
authorLorry <lorry@roadtrain.codethink.co.uk>2012-08-15 17:04:08 +0100
committerLorry <lorry@roadtrain.codethink.co.uk>2012-08-15 17:04:08 +0100
commit35a870a7a23c7d6076c658c1ec2122b642f264ed (patch)
treeb9ce5b562cf1a297844a7983c6b3fe33bb536d23 /doc/example/src/main.c
downloadcheck-35a870a7a23c7d6076c658c1ec2122b642f264ed.tar.gz
Tarball conversion
Diffstat (limited to 'doc/example/src/main.c')
-rw-r--r--doc/example/src/main.c12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/example/src/main.c b/doc/example/src/main.c
new file mode 100644
index 0000000..caeae4a
--- /dev/null
+++ b/doc/example/src/main.c
@@ -0,0 +1,12 @@
+#include "money.h"
+
+/* only main should be in this file, to make all other functions in
+ the prograble testable by Check. in order to test main(), use a
+ whole program testing framework like Autotest.
+*/
+
+int
+main (void)
+{
+ return 0;
+}