Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

SPARK and pragma Export

35 views
Skip to first unread message

Liam Powell

unread,
Jul 11, 2022, 6:05:26 AM7/11/22
to
I'm wondering exactly how SPARK works with pragma Export, specifically exported procedures that may be called by multiple threads. Is SPARK capable of reasoning about procedures that are called externally, and if so is there a way to inform it about potential simultaneous calls?
0 new messages