Nikolaos Tsantalis

@koppor I found the following that might be helpful https://docs.github.com/en/graphql/reference/mutations#markfileasviewed https://docs.github.com/en/graphql/reference/mutations#unmarkfileasviewed but I am not so familiar with the GitHub GraphQL APIs.

@Abhiram98 I guess you are using the JSON output of the tool. We could add the purity information in the JSON file. The current implementation is rather conservative. I mean...

Even more advanced https://github.com/apache/flink/commit/62f44e0118539c1ed0dedf47099326f97c9d0427 https://github.com/mockito/mockito/commit/6b818baa1006338501a5fde5ba368593475cee9c

@thromel The issue is still open. Try to run these commits with our AST diff visualization, and you will see there are some advanced assertion migrations for which the relevant...