| Index: tests/standalone/fixed_precision_double_test.dart
|
| diff --git a/tests/standalone/fixed_precision_double_test.dart b/tests/standalone/fixed_precision_double_test.dart
|
| deleted file mode 100644
|
| index 350bbc3605a23f02b91ea483eec77902bf4b9c17..0000000000000000000000000000000000000000
|
| --- a/tests/standalone/fixed_precision_double_test.dart
|
| +++ /dev/null
|
| @@ -1,82 +0,0 @@
|
| -// Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file
|
| -// for details. All rights reserved. Use of this source code is governed by a
|
| -// BSD-style license that can be found in the LICENSE file.
|
| -
|
| -import "package:expect/expect.dart";
|
| -
|
| -bool testAssociativity(Function f) {
|
| - // Example from https://en.wikipedia.org/wiki/Floating_point
|
| - // Test that (a + b) + c == a + (b + c).
|
| - double a = f(1234.567); // Chop literals.
|
| - double b = f(45.67834);
|
| - double c = f(0.0004);
|
| - double x = (a + b) + c; // Chop result of multiplication or division only.
|
| - double y = a + (b + c);
|
| - print("x: $x");
|
| - print("y: $y");
|
| - return x == y;
|
| -}
|
| -
|
| -bool testDistributivity(Function f) {
|
| - // Example from https://en.wikipedia.org/wiki/Floating_point
|
| - // Test that (a + b)*c == a*c + b*c.
|
| - double a = f(1234.567); // Chop literals.
|
| - double b = f(1.234567);
|
| - double c = f(3.333333);
|
| - double x = f((a + b)*c); // Chop result of multiplication.
|
| - double y = f(a*c) + f(b*c);
|
| - print("x: $x");
|
| - print("y: $y");
|
| - return x == y;
|
| -}
|
| -
|
| -// Simulate precision checking with assert.
|
| -assertP(double d) {
|
| - assert(d == d.p);
|
| -}
|
| -
|
| -bool assertionsEnabled() {
|
| - try {
|
| - assert(false);
|
| - return false;
|
| - } on AssertionError catch (e) {
|
| - return true;
|
| - }
|
| - return false;
|
| -}
|
| -
|
| -main() {
|
| - // The getter p keeps only 20 (by default) bits after the decimal point.
|
| - Expect.equals(0.0, 0.0.p); // 0.0 has no 1-bit after the decimal point.
|
| - Expect.equals(1.5, 1.5.p); // 1.5 has a single 1-bit after the decimal point.
|
| - Expect.notEquals(1.1, 1.1.p); // 1.1 has many 1-bits after the decimal point.
|
| - Expect.notEquals(1/3, (1/3).p); // 0.33333333... ditto.
|
| -
|
| - Expect.equals(1.1 + 1/3, 1/3 + 1.1); // Test addition commutativity.
|
| - Expect.equals(1.1.p + (1/3).p, (1/3).p + 1.1.p);
|
| - Expect.equals(1.1 * 1/3, 1/3 * 1.1); // Test multiplication commutativity.
|
| - Expect.equals(1.1.p * (1/3).p, (1/3).p * 1.1.p);
|
| -
|
| - print("Without chopping fractional bits:");
|
| - Expect.isFalse(testAssociativity((x) => x));
|
| - Expect.isFalse(testDistributivity((x) => x));
|
| - print("With chopping fractional bits:");
|
| - Expect.isTrue(testAssociativity((x) => x.p));
|
| - Expect.isTrue(testDistributivity((x) => x.p));
|
| -
|
| - // Check that p works with NaN and Infinity.
|
| - Expect.isTrue(double.NAN.p.isNaN);
|
| - Expect.isTrue(double.INFINITY.p.isInfinite);
|
| - Expect.isFalse(double.INFINITY.p.isNegative);
|
| - Expect.isTrue(double.NEGATIVE_INFINITY.p.isInfinite);
|
| - Expect.isTrue(double.NEGATIVE_INFINITY.p.isNegative);
|
| -
|
| - // Check use of assert to verify precision.
|
| - if (assertionsEnabled()) {
|
| - assertP(1.5);
|
| - assertP(1.1.p);
|
| - Expect.throws(() => assertP(1.1), (e) => e is AssertionError);
|
| - assertP(1.23456789.p);
|
| - Expect.throws(() => assertP(1.23456789), (e) => e is AssertionError);
|
| - }
|
| -}
|
|
|