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 17:34:11 -0700 (PDT)
Date: 2017-10-28T17:34:11-07:00 [thread overview]
Message-ID: <e995ba79-0762-43c0-a517-2b0dba562c46@googlegroups.com> (raw)
In-Reply-To: <81f4fbf9-fef3-4592-a95e-64889e564df4@googlegroups.com>
I think I'm misunderstanding how proofs/contracts work at some fundamental level. Hence my confusion.
next prev parent reply other threads:[~2017-10-29 0:34 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 [this message]
2017-10-29 2:42 ` Andrew Shvets
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