Issue with freezing points in (Ada) SPARK

前端未结

关注

 0  1109

I have the following packages:

-------------------
-- File: father.ads
-------------------

package Father with SPARK_Mode => On is

   pragma Elaborate_Bo


                      
              相关标签: