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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,42427d0d1bf647b1 X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: Ada Core Technologies and Ada95 Standards Date: 1996/04/03 Message-ID: #1/1 X-Deja-AN: 145725548 references: <00001a73+00002c20@msn.com> <828038680.5631@assen.demon.co.uk> <828127251.85@assen.demon.co.uk> <4jm0jv$9l2@fozzie.sun3.iaf.nl> <3160A82A.49AB@mcs.com> organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.ada Date: 1996-04-03T00:00:00+00:00 List-Id: "I don't see the connection... Are you saying validation is happen-stance, that the brightest minds can't come up with a test suite to test all expected behavior? Your "test" seems reasonable enough to validate that integer var's are initialized to zero by default; ehhh, at least the few times you ran the test case... " what an odd statement ... of COURSE is impossible to "test all expected behavior" in any complex program. anyone who thinks otherwise is suffering from serious delusions, and I trust they never have to write a program that I have to rely on. As for my test showing that integer variables are initailized to zero by default, it CANNOT POSSIBLY SHOW THIS!!! Even if you run it 1,000,000 times, the 1,000,001 time can disagree, and of course since integer variables are NOT required to be initialized in Ada to zero or anything else, this is perfectly legitimate behavior. That is the point of the example. Maybe a :-) was missing from your message??