search

runtimeverification / llvm-backend

KORE to llvm translation
BSD 3-Clause "New" or "Revised" License
36 stars 23 forks source link

Refactoring remaining naming issues in `kgdb.py` and `klldb.py` #1123

Closed Robertorosmaninho closed 3 months ago

Robertorosmaninho commented 3 months ago

This PR has a small fix similar to what we had for https://github.com/runtimeverification/llvm-backend/pull/1120.

gtrepta commented 3 months ago

Does it need to be changed here as well? I can't tell if it's referencing the same thing:

https://github.com/runtimeverification/llvm-backend/blob/c840139d8bff300ce1d7535faa564da05ae0b984/debug/klldb.py#L173

Robertorosmaninho commented 3 months ago

Does it need to be changed here as well? I can't tell if it's referencing the same thing:

Yes, thanks for pointing that @gtrepta!