aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Support 'suppress warning'??

Open ice1000 opened this issue 4 years ago • 2 comments
trafficstars

Are we gonna have such thing??

ice1000 avatar Nov 23 '21 09:11 ice1000

by using -v ERROR ?

imkiva avatar Nov 23 '21 11:11 imkiva

by using -v ERROR ?

A specific warning, like @Suppress ("Bla"). We may use the fqname of a problem class as its id

ice1000 avatar Nov 23 '21 12:11 ice1000