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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM, FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.36.14.10 with SMTP id 10mr1208106ite.52.1519383114225; Fri, 23 Feb 2018 02:51:54 -0800 (PST) X-Received: by 10.157.41.184 with SMTP id n53mr52452otb.11.1519383113987; Fri, 23 Feb 2018 02:51:53 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!w142no718687ita.0!news-out.google.com!10ni899ite.0!nntp.google.com!w142no718681ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 23 Feb 2018 02:51:53 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=85.240.211.93; posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT NNTP-Posting-Host: 85.240.211.93 References: <3c869714-ed23-42dd-b0de-4521733da615@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <0a5bf4d8-16a5-491e-8dc3-4dad835fb6eb@googlegroups.com> Subject: Re: alternative elsif branch not tested From: Mehdi Saada <00120260a@gmail.com> Injection-Date: Fri, 23 Feb 2018 10:51:54 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Body-CRC: 3878267867 X-Received-Bytes: 1894 Xref: reader02.eternal-september.org comp.lang.ada:50595 Date: 2018-02-23T02:51:53-08:00 List-Id: got it ! in "Argument (1)'Length /=3D 1 and ARGUMENT(1)(1) not in 'n'|'c'|'= N'|'C'" "and" must be "or" or else it complains only if when the TWO error cases ar= e present... Funny. As for boolean logic... when I'll have time learning Chinese. Just looking = at it gives me headaches. I think sometime I'm more of a lawyer than a logi= cian... Complicate English is still natural language, albeit convoluted, lo= gical schema not so much. I'll still think about it when I'll encounter sit= uation too hard to be solved in a glance.