blob: 995ed4faebf4b6269f3193995ebbef17fc392894 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//Translation from float_double.c
//Should Verify
//FAILS: I don't have this functionality yet...
procedure main() returns () {
var x : float(11 53);
var y : float;
x := fp(100000000000000000001 11 53);
y := x;
assert(x != y);
}
|