About the Suggestions category

This category is for discussing anything you’d like Certora to do differently.