From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: preconditions rock
Date: Sun, 24 May 2020 17:00:56 -0700 (PDT)
Date: 2020-05-24T17:00:56-07:00 [thread overview]
Message-ID: <975a04e0-497c-4335-ab66-d7493f9ae119@googlegroups.com> (raw)
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.
next reply other threads:[~2020-05-25 0:00 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-25 0:00 Stephen Leake [this message]
2020-05-25 2:48 ` preconditions rock Anh Vo
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