K-user mailing list

[Hopácsiné Kőszegi Judit <koszegijudit AT caesar.elte.hu>]

Hello,

I would like to look at the rewriting steps the K framework make while 
executing a program, and I have found "--debugger" (experimental) option 
of krun.

I tried to krun my test program with --debugger flag, it started to 
work, but after a "step" command, I got an exception. Isn't it a proper 
command?

Details:
$ krun --debugger --debug tests/fib.erl
After running one step of execution the result is:

<T>
    ...
    ...
</T>

Command > step
java.util.NoSuchElementException: No value present
    at java.util.Optional.get(Optional.java:135)
    at 
org.kframework.krun.api.ExecutorDebugger.step(ExecutorDebugger.java:112)
    at org.kframework.krun.tools.Debugger$Tool.run(Debugger.java:266)
    at org.kframework.krun.tools.Debugger$Tool.run(Debugger.java:124)
    at org.kframework.krun.KRunFrontEnd.run(KRunFrontEnd.java:131)
    at org.kframework.main.FrontEnd.main(FrontEnd.java:52)
    at org.kframework.main.Main.runApplication(Main.java:109)
    at org.kframework.main.Main.runApplication(Main.java:99)
    at org.kframework.main.Main.main(Main.java:51)
java.util.NoSuchElementException: No value present
    at java.util.Optional.get(Optional.java:135)
    at 
org.kframework.krun.api.ExecutorDebugger.step(ExecutorDebugger.java:112)
    at org.kframework.krun.tools.Debugger$Tool.run(Debugger.java:266)
    at org.kframework.krun.tools.Debugger$Tool.run(Debugger.java:124)
    at org.kframework.krun.KRunFrontEnd.run(KRunFrontEnd.java:131)
    at org.kframework.main.FrontEnd.main(FrontEnd.java:52)
    at org.kframework.main.Main.runApplication(Main.java:109)
    at org.kframework.main.Main.runApplication(Main.java:99)
    at org.kframework.main.Main.main(Main.java:51)
[Error] Internal: Uncaught exception thrown of type NoSuchElementException.
Please rerun your program with the --debug flag to generate a stack 
trace, and
file a bug report at https://github.com/kframework/k/issues

$ krun --version
K framework version 3.6
Git revision: 28ea17d
Git branch: UNKNOWN
Build date: Fri Aug 21 21:36:54 BST 2015

Operating system: Ubuntu 14.04 LTS

Thanks,
Judit H. Koszegi