ccadar/klee — pull request #95 by czchen (2014-01-20 10:30:02+00:00)
Title: Fix function name in tutorial

Rename `klee_make_symbolic_name` to `klee_make_symbolic` in tutorial.