--- layout: fc_discuss_archives title: Message 29 from Frama-C-discuss on February 2010 ---
Helo Damien, There's already a bug report on bitwise operations in the bts. -Boris