kframework/k — pull request #388 by dwightguth (2014-04-16 22:29:38+00:00)
Title: fix binary parser for krun

Fix for #369.

@osa1 please review the ktest changes. @radumereuta please review the fix itself.