Open khatchad opened 11 months ago
We are detecting side-effects for calls to writelines(), though I don't think for the correct reasons, but write() isn't being detected as side-effect producing.
writelines()
write()
We are detecting side-effects for calls to
writelines()
, though I don't think for the correct reasons, butwrite()
isn't being detected as side-effect producing.References