blob: 0261d7da0a6e5e50818a63c451281f15d93ebc0b [file] [log] [blame] [edit]
// 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());
}