From 032a2dedd1d3d033bcc410c3de07e6ed0f701ac0 Mon Sep 17 00:00:00 2001 From: Dominic Chen Date: Thu, 25 Jul 2013 10:58:00 +0100 Subject: remove www from master branch --- www/resources/get_sign.c.html | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 www/resources/get_sign.c.html (limited to 'www/resources/get_sign.c.html') diff --git a/www/resources/get_sign.c.html b/www/resources/get_sign.c.html deleted file mode 100644 index 58c28d01..00000000 --- a/www/resources/get_sign.c.html +++ /dev/null @@ -1,37 +0,0 @@ - - - -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