Edit list of property-based tests