tautological inequality in the find algorithm ACSL

[dawagner]

https://github.com/fraunhoferfokus/acsl-by-example/blob/master/StandardAlgorithms/nonmutating/find/find.h has the following spec:

ensures   0 <= \result <= \result;

the right part of which is always true. Did you mean 0 <= \result <= n?

[jensgerlach]

Halle David,

thanks for pointing out this typo! Your suggestion is of course correct.
In fact, we found this error a couple of weeks ago and have fixed it already in the internal repository.

[dawagner]

ok, great :)