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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,bcb4211c58dfce86,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.224.207.2 with SMTP id fw2mr5148091qab.6.1366211622001; Wed, 17 Apr 2013 08:13:42 -0700 (PDT) X-Received: by 10.49.127.145 with SMTP id ng17mr686925qeb.9.1366211621985; Wed, 17 Apr 2013 08:13:41 -0700 (PDT) Path: ef9ni24qab.0!nntp.google.com!ca1no572658qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 17 Apr 2013 08:13:41 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=82.124.213.35; posting-account=2RsWdAoAAACKmfJMpyMjxrxuBA0nNyCZ NNTP-Posting-Host: 82.124.213.35 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <695e718e-2c5d-4db8-b8e7-d099f4a305db@googlegroups.com> Subject: Spark non-working example in book ? From: milouz Injection-Date: Wed, 17 Apr 2013 15:13:41 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2013-04-17T08:13:41-07:00 List-Id: Hi, I'm learning Spark and I'm currently trying to understand how to prove the 'find_smallest' function describe in chapter 15 (sections 5 and 6). There are 2 examples in the book. The one in 15.5 needs the Checker tool. I was expecting to find some *.rul file in the example tarball (found on altran-praxis website), but there's none. About the 2nd example, in 15.6, the book is not clear about the need or not of the Checker tool. There's no *.rul nor *.rlu file and the downloaded example don't work either. Maybe it's normal.... anyway, I'd just like to understand how to prove that the 'find_smallest' function really return the index of the smallest element in an array. Some clues ? Regards, Arnauld