search

runtimeverification / k

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

Pass `-Wno $WARNING` through KompileOptions stack #4470

Closed Baltoli closed 6 days ago

Baltoli commented 1 week ago

Related: https://github.com/runtimeverification/k/issues/4462

@JuanCoRo requested that this option be exposed through KompileOptions and onwards to KEVM; it will allow the Kontrol team to silence some persistent warnings that affect their build outputs.

JuanCoRo commented 6 days ago

Closing since #4471 addressed this