File: float.i

package info (click to toggle)

frama-c 20140301%2Bneon%2Bdfsg-3

file content (5 lines) | stat: -rw-r--r-- 119 bytes

/*@ requires f == 0.1f ;*/
void main(float f) {
 /*@ assert 0xfffffffffffffffff == 0xfffffffffffffffff; */
  return;
}