kframework/k — pull request #432 by daniel-ionut-vicol (2014-05-10 11:59:16+00:00)
Title: Fixed : Unable to run graphical debugger using symbolic backend #431

fixed debugger symbolic backend issue by getting the KRun object from main class

- added KRun as parameter to gui controller
- get KRun from main class when continuing execution from a state