path: root/float_test7.bpl

procedure F() returns () {
	var x : float;
	x := fp(.1) + fp(.1) + fp(.1);
	assert x == fp(.3);
}