Nikita Kirillov
Results
2
comments of
Nikita Kirillov
The `pess-strange-setter` detector examines whether any changes are made to state variables using function parameters. In your case, if nothing is set to state variables in either the `constructor` function...
Merged fixes with #170.