tests/corelib/date_time3_test.dart

// Copyright (c) 2012, 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.

// At some point dart was emitting a bad padding 0 for Dates where the ms were
// ending with 10.

main() {
  String s = "2012-01-30 08:30:00.010";
  Date d = new Date.fromString(s);
  Expect.equals(s, d.toString());
}