aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/RealSyntax.out
blob: 1685964b0fe55e04c77ff61c49c9845ff5406746 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
32%R
     : R
(-31)%R
     : R
1.5%R
     : R
15%R
     : R
eq_refl : 1.02 = 1.02
     : 1.02 = 1.02
eq_refl : 10.2 = 10.2
     : 10.2 = 10.2
eq_refl : 102e1 = 102e1
     : 102e1 = 102e1
eq_refl : 102 = 102
     : 102 = 102
eq_refl : 1.02 = 1.02
     : 1.02 = 1.02
eq_refl : -1e-4 = -1e-4
     : -1e-4 = -1e-4
eq_refl : -0.50 = -0.50
     : -0.50 = -0.50