--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on March 2008 ---
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