diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-01-10 07:44:08 -0800 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-01-10 07:44:08 -0800 |
| commit | 3eff4a22c77d70e1c5c3193eaa0b825e8e0b4a3f (patch) | |
| tree | 40e904395e27ecaa5ab7adcd510b3501aa8325c8 | |
| parent | 05baefe2505943311abaeb28543e8d1222a3c9a7 (diff) | |
| parent | c16f33299ba5f321a449e304ca128219d34ac884 (diff) | |
| download | klee-3eff4a22c77d70e1c5c3193eaa0b825e8e0b4a3f.tar.gz | |
Merge pull request #86 from msoos/master
get_sign.c missing include
| -rw-r--r-- | examples/get_sign/get_sign.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/get_sign/get_sign.c b/examples/get_sign/get_sign.c index a97ac375..fd2ad9f2 100644 --- a/examples/get_sign/get_sign.c +++ b/examples/get_sign/get_sign.c @@ -2,6 +2,7 @@ * First KLEE tutorial: testing a small function */ +#include <klee/klee.h> int get_sign(int x) { if (x == 0) |