Open JuanCoRo opened 3 months ago
PR #4471 adds the ingore_warnings option to Kompile class in pyk to expose the -Wno flag from kompile.
ingore_warnings
Kompile
-Wno
kompile
As of now, if we pass -Wno A, -Wno B,C it'll result in ignore_warnings=["A", "B,C"], but ignore_warnings=["A", "B", "C"] is preferable.
-Wno A, -Wno B,C
ignore_warnings=["A", "B,C"]
ignore_warnings=["A", "B", "C"]
cc @tothtamas28
JuanCoRo
commented
3 months ago JuanCoRo
commented
3 months ago
PR #4471 adds the
ingore_warningsoption toKompileclass in pyk to expose the-Wnoflag fromkompile.As of now, if we pass
-Wno A, -Wno B,Cit'll result inignore_warnings=["A", "B,C"], butignore_warnings=["A", "B", "C"]is preferable.