From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: preconditions rock
Date: Sun, 24 May 2020 19:48:01 -0700 (PDT)
Date: 2020-05-24T19:48:01-07:00 [thread overview]
Message-ID: <dd73ebd5-e2b3-40c0-8fde-6e2d1dffac3a@googlegroups.com> (raw)
In-Reply-To: <975a04e0-497c-4335-ab66-d7493f9ae119@googlegroups.com>
On Sunday, May 24, 2020 at 5:00:57 PM UTC-7, Stephen Leake wrote:
> I just have to say that I'm really appreciating how much preconditions help during development; I'm get way better error messages when tests fail, so it is very easy to fix the problems.
>
> I've also done some SPARK, but that's hard, and doesn't apply to the kind of code I'm writing now.
Postconditions should get rock status, also.
Anh Vo
next prev parent reply other threads:[~2020-05-25 2:48 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-25 0:00 preconditions rock Stephen Leake
2020-05-25 2:48 ` Anh Vo [this message]
2020-05-25 8:24 ` Jeffrey R. Carter
2020-05-25 17:14 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox