search

runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430 stars 141 forks source link

Escape @ in _make_module_name #4448

Closed nwatson22 closed 2 weeks ago

nwatson22 commented 2 weeks ago

Fixes https://github.com/runtimeverification/kontrol/issues/613. I have verified this change fixes the issue in kontrol with module names generated from contracts with an @ symbol on their path.