--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on March 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] ACSL Release 1.2



Hello,

Benjamin Monate <benjamin.monate@cea.fr> writes:

> You may download a PDF on http://www.frama-c.cea.fr/acsl.html

I think there is a small typo on p. 25 :
"t1..t2 denotes the set of integers between t1 and t2, included. If t2 >
t1, this is the same as \empty"

Shouldn't it be: "if t1 > t2"?

Yours,
d.
-- 
GPG/PGP key: A3AD7A2A David MENTRE <dmentre@linux-france.org>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A