Minor mistake in section 3.5.2

[seniorlackey]

In section 3.5.2 (Formal specification of equal and mismatch), the first sentence reads: "Using predicate equal_range we can formulate the specification of equal..." . Given that EqualRanges (and not equal_range) was the predicate defined just above this section, I believe you meant: "Using predicate EqualRanges ...".

BTW: I was going to submit a patch but I did not find the files that are used to generate the pdf. This is the reason why I did not submit a patch.

[jensgerlach]

Yes, you are right. We will fix this. Thanks a lot!

[seniorlackey]

You are welcome. Another very minor thing: Under Listing 3.23, it reads: "The loop invariant not_foundis ... ". It needs a space between 'not_found' and 'is'.

I plan to go through the whole book but it will take me a while because I can only do it in my spare time. If the source code of the pdf is in latex and you make it available, I could submit patches if I run into anything else.

[jensgerlach]

Again thanks a lot. I fixed it in our development version. We will provide a new release soon.
So you shouldn't be surprised when your gtihub handle appears in he changes section!-)

I hope it doesn't bother your that we do not put the latex source on GitHub...

[jensgerlach]

Regarding "EqualRanges": This problem occurred because we had a command "\equalrange" that expands to something like "equal_range" and a command "\equalranges" that expanded to "EqualRanges".
We have change the latter command (and similar commands) to "\EqualRanges" to avoid this confusion in future.

[seniorlackey]

No worries. If you guys don't want to publish the latex source, that's fine. This is a great book and a great introduction to ACSL. The first time I tried Frama-C/ACSL was many years ago and I did not get very far. I think it will be a lot easier this time around because I can use your book as a reference. Thank you guys at Fraunhofer for putting it together.

[jensgerlach]

Thank you for your nice comments. If you have time I would like to know more about your interest in Frama-C/ACSL. Perhaps, it's better when you write me an email: jens.gerlach@fokus.fraunhofer.de

[seniorlackey]

I see that the problem was fixed in 15.1.2. Therefore, I am closing this issue. Cheers