From d151d06a875cbbaa0696e3c2d58158c2e2195995 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 27 Sep 2011 11:08:04 +0000 Subject: Changed Tutorial 1, which was causing confusion due to differences in LLVM code generation before and after LLVM 2.8. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@140602 91177308-0d34-0410-b5e6-96231b3b80d8 --- www/resources/get_sign.c.html | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 www/resources/get_sign.c.html (limited to 'www/resources') diff --git a/www/resources/get_sign.c.html b/www/resources/get_sign.c.html new file mode 100644 index 00000000..58c28d01 --- /dev/null +++ b/www/resources/get_sign.c.html @@ -0,0 +1,37 @@ + + + +Enscript Output + + + + +

get_sign.c

+ +
+/*
+ * First KLEE tutorial: testing a small function
+ */
+
+
+int get_sign(int x) {
+  if (x == 0)
+     return 0;
+  
+  if (x < 0)
+     return -1;
+  else 
+     return 1;
+} 
+
+int main() {
+  int a;
+  klee_make_symbolic(&a, sizeof(a), "a");
+  return get_sign(a);
+} 
+
+
+
Generated by GNU Enscript 1.6.5.2.
+enscript -Ec --color -w html get_sign.c -o get_sign.c.html + + -- cgit 1.4.1