From d5e3206198cb3c7489a2ba817dfdd4fe6587e143 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 28 May 2009 04:44:50 +0000
Subject: Changes to webpage to make both tutorials use the same template.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72515 91177308-0d34-0410-b5e6-96231b3b80d8
---
 examples/islower/islower.c | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 examples/islower/islower.c

(limited to 'examples')

diff --git a/examples/islower/islower.c b/examples/islower/islower.c
new file mode 100644
index 00000000..ab85d072
--- /dev/null
+++ b/examples/islower/islower.c
@@ -0,0 +1,17 @@
+/*
+ * First KLEE tutorial: testing a small function
+ */
+
+#include <klee/klee.h>
+
+int my_islower(int x) {
+  if (x >= 'a' && x <= 'z')
+    return 1;
+  else return 0;
+}
+
+int main() {
+  char c;
+  klee_make_symbolic(&c, sizeof(c), "input");
+  return my_islower(c);
+}
-- 
cgit 1.4.1