kframework/k — pull request #308 by dwightguth (2014-03-25 18:24:26+00:00)
Title: fix bug where kompile crashes but ktest reports success

This is a bug that causes serialization errors to report a 0 return value on the command line, resulting in ktest passing even though kompilation did not succeed.