ccadar/klee — pull request #7 by delcypher (2013-08-13 14:38:08+00:00)
Title: Slight refactor of code initialising memory for argments/environment c-strings

I believe this makes the code easier to read.