DraveeCertora
Results
1
comments of
DraveeCertora
Hey there! Got the issue today and found this issue by chance. Indeed, setting `optimizer = false` made Slither run correctly. Thank you for the temporary workaround