From 467108ce9b81a4f57f2fb52d1a35759d4bd053a1 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 21 May 2009 06:55:54 +0000 Subject: Added a first KLEE tutorial. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72207 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/code-examples/demo.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 www/code-examples/demo.c (limited to 'www/code-examples/demo.c') diff --git a/www/code-examples/demo.c b/www/code-examples/demo.c new file mode 100644 index 00000000..69e0715a --- /dev/null +++ b/www/code-examples/demo.c @@ -0,0 +1,11 @@ +int my_islower(int x) { + if (x >= 'a' && x <= 'z') + return 1; + else return 0; +} + +int main() { + char c; + klee_make_symbolic_name(&c, sizeof(c), "input"); + return my_islower(c); +} -- cgit 1.4.1