blob: 7a69691db7b514f146194b77b7d727c1b54b70d3 [file] [log] [blame]
// Copyright (c) 2013, 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";
main() {
Expect.equals(-0x80000001, (-0x80000001).toInt());
Expect.equals(-0x80000000, (-0x80000000 - 0.7).toInt());
Expect.equals(-0x80000000, (-0x80000000 - 0.3).toInt());
Expect.equals(-0x7FFFFFFF, (-0x80000000 + 0.3).toInt());
Expect.equals(-0x7FFFFFFF, (-0x80000000 + 0.7).toInt());
Expect.equals(-0x7FFFFFFF, (-0x7FFFFFFF).toInt());
Expect.equals(0x7FFFFFFE, (0x7FFFFFFE).toInt());
Expect.equals(0x7FFFFFFE, (0x7FFFFFFF - 0.7).toInt());
Expect.equals(0x7FFFFFFE, (0x7FFFFFFF - 0.3).toInt());
Expect.equals(0x7FFFFFFF, (0x7FFFFFFF + 0.3).toInt());
Expect.equals(0x7FFFFFFF, (0x7FFFFFFF + 0.7).toInt());
Expect.equals(0x80000000, 0x80000000.toInt());
}