Exceptional_Cases aspect


I would like to use the Exceptional_Cases aspect described in this post. However, it seems that the latest version of GNATprove (13.2.1) available on Alire does not include the feature. Does anyone know if there is any community version of GNATprove that supports it?

Thank you,

Iā€™m pretty sure this is only available in the Pro version for now.

1 Like