`RULE-13-5`: Improve reporting to clarify type of side effect
lcartey opened this issue · 0 comments
lcartey commented
The query doesn't currently report what type of side effect is highlighted. This can make it difficult to identify why correct results are reported, as some side-effects aren't that obvious, such as accessing a volatile variable.