kframework/k — pull request #522 by osa1 (2014-05-30 14:55:06+00:00)
Title: fix exception reporting in ktest

Fixes #485