kframework/k — pull request #445 by dwightguth (2014-05-14 20:00:39+00:00)
Title: fix ktest log string escaping

@osa1 @daejunpark please review.