search

runtimeverification / pyk

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

Allow `--debug` to be passed through to underlying invocations of `kompile` via `kbuild` #1045

Closed Baltoli closed 5 months ago

Baltoli commented 5 months ago

Currently, it's hard for downstream projects using kbuild to report stack traces to the K team when something breaks in the compiler.

https://github.com/runtimeverification/pyk/blob/8b0b6d760e43018fd88a063b87a2a1c5e570bf56/src/pyk/kbuild/kbuild.py#L41

https://github.com/runtimeverification/pyk/blob/8b0b6d760e43018fd88a063b87a2a1c5e570bf56/src/pyk/kbuild/__main__.py#L63