From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:ac8:3733:: with SMTP id
 o48mr26170466qtb.149.1590364856832;
        Sun, 24 May 2020 17:00:56 -0700 (PDT)
X-Received: by 2002:aca:3244:: with SMTP id y65mr9194344oiy.37.1590364856559;
 Sun, 24 May 2020 17:00:56 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 24 May 2020 17:00:56 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=76.77.182.20;
 posting-account=W2gdXQoAAADxIuhBWhPFjUps3wUp4RhQ
NNTP-Posting-Host: 76.77.182.20
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <975a04e0-497c-4335-ab66-d7493f9ae119@googlegroups.com>
Subject: preconditions rock
From: Stephen Leake <stephen_leake@stephe-leake.org>
Injection-Date: Mon, 25 May 2020 00:00:56 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader01.eternal-september.org comp.lang.ada:58777
Date: 2020-05-24T17:00:56-07:00
List-Id: <comp.lang.ada>

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.