/
test.log
77 lines (76 loc) · 13.8 KB
/
test.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
spawn krun tests/lets.lambda --debugger
[ERROR] Failed to construct terminal; falling back to unsupported
java.lang.NumberFormatException: For input string: "0x100"
at java.base/java.lang.NumberFormatException.forInputString(NumberFormatException.java:65)
at java.base/java.lang.Integer.parseInt(Integer.java:652)
at java.base/java.lang.Integer.valueOf(Integer.java:983)
at jline.internal.InfoCmp.parseInfoCmp(InfoCmp.java:59)
at jline.UnixTerminal.parseInfoCmp(UnixTerminal.java:233)
at jline.UnixTerminal.<init>(UnixTerminal.java:64)
at jline.UnixTerminal.<init>(UnixTerminal.java:49)
at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance0(Native Method)
at java.base/jdk.internal.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAccessorImpl.java:62)
at java.base/jdk.internal.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstructorAccessorImpl.java:45)
at java.base/java.lang.reflect.Constructor.newInstance(Constructor.java:490)
at java.base/java.lang.Class.newInstance(Class.java:584)
at jline.TerminalFactory.getFlavor(TerminalFactory.java:209)
at jline.TerminalFactory.create(TerminalFactory.java:100)
at jline.TerminalFactory.get(TerminalFactory.java:184)
at jline.TerminalFactory.get(TerminalFactory.java:190)
at jline.console.ConsoleReader.<init>(ConsoleReader.java:240)
at jline.console.ConsoleReader.<init>(ConsoleReader.java:232)
at jline.console.ConsoleReader.<init>(ConsoleReader.java:220)
at org.kframework.krun.modes.DebugMode.DebugExecutionMode.getConsoleReader(DebugExecutionMode.java:68)
at org.kframework.krun.modes.DebugMode.DebugExecutionMode.execute(DebugExecutionMode.java:93)
at org.kframework.krun.KRun.run(KRun.java:88)
at org.kframework.krun.KRunFrontEnd.run(KRunFrontEnd.java:93)
at org.kframework.main.FrontEnd.main(FrontEnd.java:59)
at org.kframework.main.Main.runApplication(Main.java:118)
at org.kframework.main.Main.runApplication(Main.java:107)
at org.kframework.main.Main.main(Main.java:53)
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"initKCell","variable":false,"arity":1,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_Map_","variable":false,"arity":2,"args":[{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KConfigVar","token":"$IO"},{"node":"KToken","sort":"String","token":"\"off\""}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KConfigVar","token":"$PGM"},{"node":"KApply","label":"let_=_in__LAMBDA","variable":false,"arity":3,"args":[{"node":"KToken","sort":"KVar","token":"a"},{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"let_=_in__LAMBDA","variable":false,"arity":3,"args":[{"node":"KToken","sort":"KVar","token":"b"},{"node":"KToken","sort":"Int","token":"2"},{"node":"KApply","label":"let_=_in__LAMBDA","variable":false,"arity":3,"args":[{"node":"KToken","sort":"KVar","token":"c"},{"node":"KToken","sort":"Int","token":"3"},{"node":"KApply","label":"let_=_in__LAMBDA","variable":false,"arity":3,"args":[{"node":"KToken","sort":"KVar","token":"d"},{"node":"KToken","sort":"Int","token":"4"},{"node":"KApply","label":"_<=__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_/__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"a"},{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"b"},{"node":"KToken","sort":"KVar","token":"c"}]}]},{"node":"KToken","sort":"KVar","token":"d"}]},{"node":"KToken","sort":"KVar","token":"a"}]}]}]}]}]}]}]},{"node":"KApply","label":"_|->_","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KConfigVar","token":"$STDIN"},{"node":"KToken","sort":"String","token":"\"\\n\""}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"___LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"lambda_.__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"b"},{"node":"KApply","label":"___LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"lambda_.__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"c"},{"node":"KApply","label":"___LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"lambda_.__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"d"},{"node":"KApply","label":"_<=__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_/__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"b"},{"node":"KToken","sort":"KVar","token":"c"}]}]},{"node":"KToken","sort":"KVar","token":"d"}]},{"node":"KToken","sort":"Int","token":"1"}]}]},{"node":"KToken","sort":"Int","token":"4"}]}]},{"node":"KToken","sort":"Int","token":"3"}]}]},{"node":"KToken","sort":"Int","token":"2"}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"___LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"lambda_.__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"c"},{"node":"KApply","label":"___LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"lambda_.__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"d"},{"node":"KApply","label":"_<=__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_/__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"2"},{"node":"KToken","sort":"KVar","token":"c"}]}]},{"node":"KToken","sort":"KVar","token":"d"}]},{"node":"KToken","sort":"Int","token":"1"}]}]},{"node":"KToken","sort":"Int","token":"4"}]}]},{"node":"KToken","sort":"Int","token":"3"}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"___LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"lambda_.__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"KVar","token":"d"},{"node":"KApply","label":"_<=__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_/__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"2"},{"node":"KToken","sort":"Int","token":"3"}]}]},{"node":"KToken","sort":"KVar","token":"d"}]},{"node":"KToken","sort":"Int","token":"1"}]}]},{"node":"KToken","sort":"Int","token":"4"}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_<=__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_/__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"2"},{"node":"KToken","sort":"Int","token":"3"}]}]},{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KToken","sort":"Int","token":"1"}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"_/__LAMBDA","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"2"},{"node":"KToken","sort":"Int","token":"3"}]}]},{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"2"},{"node":"KToken","sort":"Int","token":"3"}]}]},{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"#freezer_/__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"_*__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"2"},{"node":"KToken","sort":"Int","token":"3"}]},{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"#freezer_+__LAMBDA0_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"#freezer_/__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"6"},{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"#freezer_+__LAMBDA0_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]},{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"#freezer_/__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"_+__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"6"}]},{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"#freezer_/__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"7"},{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"#freezer_/__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KApply","label":"_/__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"7"},{"node":"KToken","sort":"Int","token":"4"}]},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"#KSequence","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KApply","label":"#freezer_<=__LAMBDA1_","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Int","token":"1"}]}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KApply","label":"_<=__LAMBDA","variable":false,"arity":2,"args":[{"node":"KToken","sort":"Int","token":"1"},{"node":"KToken","sort":"Int","token":"1"}]}]}}KDebug> 1 Step(s) Taken.
KDebug> p
s
{"format":"KAST","version":1,"term":{"node":"KApply","label":"<k>","variable":false,"arity":1,"args":[{"node":"KToken","sort":"Bool","token":"true"}]}}KDebug> Attempted 1 step(s). Took 0 steps(s).
Final State Reached