search

runtimeverification / pyk

Python tools for the K Framework
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

Pass --debug to kompile in kbuild #1047

Closed virgil-serbanuta closed 5 months ago

virgil-serbanuta commented 5 months ago

Fixes https://github.com/runtimeverification/pyk/issues/1045