From: Andrew Shvets <andrew.shvets@gmail.com>
Subject: Re: What am I doing wrong with contracts? Why are they succeeding when they should be failing?
Date: Sat, 28 Oct 2017 19:42:06 -0700 (PDT)
Date: 2017-10-28T19:42:06-07:00 [thread overview]
Message-ID: <d10f711e-4dc8-45fa-8332-1e2af8965357@googlegroups.com> (raw)
In-Reply-To: <e995ba79-0762-43c0-a517-2b0dba562c46@googlegroups.com>
On Saturday, October 28, 2017 at 8:34:12 PM UTC-4, Andrew Shvets wrote:
> I think I'm misunderstanding how proofs/contracts work at some fundamental level. Hence my confusion.
I figured it out, I needed to have the following at the top of where the contract was written in order to have it be checked/enforced:
pragma Assertion_Policy(Check);
I'm reading more about this right now.
next prev parent reply other threads:[~2017-10-29 2:42 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-10-29 0:31 What am I doing wrong with contracts? Why are they succeeding when they should be failing? Andrew Shvets
2017-10-29 0:34 ` Andrew Shvets
2017-10-29 2:42 ` Andrew Shvets [this message]
2017-10-29 7:20 ` joakimds
2017-10-29 13:42 ` Andrew Shvets
2017-10-29 19:17 ` Anh Vo
2017-10-29 19:41 ` Andrew Shvets
2017-10-30 0:16 ` Shark8
2017-10-30 1:37 ` Andrew Shvets
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox