path: root/float_test2.bpl

procedure F() returns () {
	var x : float(11 53);
	var y : float(11 53);
	assert x == y;
}