Remove dest from the --debug arg - Githubissues

runtimeverification / pyk

Python tools for the K Framework

BSD 3-Clause "New" or "Revised" License

13 stars 2 forks source link

Remove dest from the --debug arg #1049

Closed virgil-serbanuta closed 7 months ago