You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As one of the reviewers of our paper pointed out, there could be cycles in the callgraph, in which case certain functions will be tested multiple times.
This results in "duplicates" in the output.
An obvious solution would be to use a set for storing the results.
The text was updated successfully, but these errors were encountered:
As one of the reviewers of our paper pointed out, there could be cycles in the callgraph, in which case certain functions will be tested multiple times.
This results in "duplicates" in the output.
An obvious solution would be to use a set for storing the results.
The text was updated successfully, but these errors were encountered: