Hello,

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,
Daniel

2 posts - 2 participants

Read full topic