kframework/k — pull request #740 by dwightguth (2014-07-21 19:01:13+00:00)
Title: fix ktest paths in debugger

@osa1 please review