heechul/crest-z3 — pull request #3 by dqx (2013-06-13 03:34:04+00:00)
Title: Update symbolic_expression.cc

'Segment Fault' arises when '\n' is the delimiting character. Note that the delimiting character ('\n') is discarded and not written to buf when the function getline is called at line 79. And a null character ('\0') is automatically appended to buf. So I think the delimiting character should be '\0'