GDB/LLDB has been broken for a while, and I suspect it has been broken since PR #1000.
When k start was typed in GDB, we had the following error when pretty-printing the subject:
Temporary breakpoint 1, 0x00005555555c00f0 in main ()
0x00005555555bb080 in k_step (subject=Traceback (most recent call last):
File "<string>", line 392, in to_string
File "<string>", line 599, in append
File "<string>", line 381, in isSymbolABinder
AttributeError: 'NoneType' object has no attribute 'value'
Python Exception <class 'AttributeError'>: 'NoneType' object has no attribute 'value'
) at /home/robertorosmaninho/pi2-inc/tests/add-rewrite.k:20
20 rule [state-succ] : s(M:Nat) ~> state(N:Nat, _:Nat) => state(N, s(M))
(gdb)
This happens due to the renaming of table_getSymbolNameForTag and other global symbols to follow a unique snake_case pattern not being reflected on these debug scripts.
The same should be applied to lldb. But honestly not tested.
GDB/LLDB has been broken for a while, and I suspect it has been broken since PR #1000.
When
k startwas typed in GDB, we had the following error when pretty-printing the subject:This happens due to the renaming of
table_getSymbolNameForTagand other global symbols to follow a unique snake_case pattern not being reflected on these debug scripts.The same should be applied to lldb. But honestly not tested.