From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: task discriminants and invariant expressions in SPARK
Date: Thu, 03 Nov 2011 13:11:51 +0100
Date: 2011-11-03T13:11:52+01:00 [thread overview]
Message-ID: <4eb28508$0$6565$9b4e6d93@newsspool4.arcor-online.net> (raw)
In-Reply-To: <c3cd5d68-4112-43db-9541-dd6434985b87@l19g2000yqc.googlegroups.com>
On 03.11.11 10:34, Phil Thornley wrote:
> I can't find anything relevant in the documentation - there's no list
> of known deficiences in the GPL release note.
>
> It is probably worth reporting this even if you are not a supported
> customer - use spark@adacore.com as the address (and include "SPARK"
> in the subject line otherwise it gets dumped in the spam bucket).
Thanks for having a look. A report is now sent.
I have also tried a variation that uses a protected object
in place of an atomic object. Same diagnostic message.
next prev parent reply other threads:[~2011-11-03 12:11 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-10-31 12:38 [Q] task discriminants and invariant expressions in SPARK Georg Bauhaus
2011-10-31 13:04 ` Georg Bauhaus
2011-11-03 9:34 ` Phil Thornley
2011-11-03 12:11 ` Georg Bauhaus [this message]
2011-11-03 14:15 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox