From: milouz <a.michelizza@gmail.com>
Subject: Spark non-working example in book ?
Date: Wed, 17 Apr 2013 08:13:41 -0700 (PDT)
Date: 2013-04-17T08:13:41-07:00 [thread overview]
Message-ID: <695e718e-2c5d-4db8-b8e7-d099f4a305db@googlegroups.com> (raw)
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
next reply other threads:[~2013-04-17 15:13 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-04-17 15:13 milouz [this message]
2013-04-18 5:04 ` Spark non-working example in book ? Phil Thornley
2013-04-18 10:45 ` milouz
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox