From d5e3206198cb3c7489a2ba817dfdd4fe6587e143 Mon Sep 17 00:00:00 2001 From: Cristian Cadar 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 --- www/code-examples/demo.c | 11 ----------- 1 file changed, 11 deletions(-) delete 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 deleted file mode 100644 index 2bf1c00d..00000000 --- a/www/code-examples/demo.c +++ /dev/null @@ -1,11 +0,0 @@ -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