---
layout: fc_discuss_archives
title: Message 26 from Frama-C-discuss on February 2010
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] possible bug in bitwise operators and jessie
- Subject: [Frama-c-discuss] possible bug in bitwise operators and jessie
- From: dak at adelard.com (Damien Karkinsky)
- Date: Fri, 12 Feb 2010 17:51:34 +0000
Hello,
I can't get any of the provers to prove the following:
void function(){
/*@ assert (3&1) == 1*/
}
Can anyone shed some light or is this a bug?
Thank you
Damien