Top Questions

1. How is the `'Old` attribute in a **Post** contract handled for access types that might got deallocated inside the function or procedure?
   4 votes

   2 answers
2. How to access a parameter of a procedure in Pre/Post contracts of a procedure/funtion that has the the procedure as access parameter?
   3 votes

   1 answers
3. How to check for Storage_Error in Spark_Ada
   2 votes

   2 answers
4. How to allow Ada Big_Numbers in GPS Community 2021
   2 votes

   1 answers