From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: Workaround for invariant SPARK condition
Date: Thu, 25 Jun 2009 01:50:20 -0700 (PDT)
Date: 2009-06-25T01:50:20-07:00 [thread overview]
Message-ID: <7095b2b3-b3da-4892-b047-6b2da72c157f@o36g2000vbi.googlegroups.com> (raw)
In-Reply-To: 60fb6c3e-3f41-40a6-a445-4d8e12cc49a3@v4g2000vba.googlegroups.com
On Jun 25, 8:48 am, Phil Thornley <phil.jpthorn...@googlemail.com>
wrote:
> This is the sort of problem that the accept annotation is there for:
Exactly. Please see section 9.1 of the Examiner User Manual for
more details.
Rod, SPARK Team
next prev parent reply other threads:[~2009-06-25 8:50 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-06-24 23:03 Workaround for invariant SPARK condition xorque
2009-06-25 7:48 ` Phil Thornley
2009-06-25 8:50 ` Rod Chapman [this message]
2009-06-25 11:19 ` xorque
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox