--- layout: fc_discuss_archives title: Message 3 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



David,

> 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"?

You are right. This will be fixed in the next version.

Thanks for your report.
Benjamin Monate