ccadar/klee — pull request #88 by msoos (2014-01-10 14:25:56+00:00)
Title: Fix the get_sign tutorial

The tutorial was missing the `cd dir` and the `-I ../../include` path to llvm-gcc