No_Task_Termination (GNAT Reference Manual) (original) (raw)

Next: No_Tasking, Previous: No_Task_Hierarchy, Up: Partition-Wide Restrictions [Contents][Index]

5.1.67 No_Task_Termination ¶

[RM D.7] Tasks that terminate are erroneous.