Use `--warnings-to-errors` in tests - Githubissues

runtimeverification / pyk

Python tools for the K Framework

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

13 stars 2 forks source link

Use `--warnings-to-errors` in tests #1054

Closed tothtamas28 closed 6 months ago

tothtamas28 commented 6 months ago

Blocked on:

runtimeverification/k#4148

Baltoli commented 6 months ago

https://github.com/runtimeverification/k/pull/4243