--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on September 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] casting from float to ulong and vice versa



> - & 2UL: already treated, but quirky, fixed soon in the development
> version and you can expect it will work in the next release;

That part is now done in the development version. You can expect it in
the next release. The result on your code is now {0; 1; 2;}. I cannot
publish the patch because it is more than one line and is spread over
several files.

Pascal