tools/test.dart: Implement --checked option.

tests/corelib/test_config.dart

 // Copyright (c) 2011, 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.
 
 #library("corelib_test_config");
 
 #import("../../tools/testing/dart/test_runner.dart");
 #import("../../tools/testing/dart/status_file_parser.dart");
 
 class CorelibTestSuite {
@@ skipping 36 matching lines @@
     if (!filename.endsWith("Test.dart")) return;
 
     int start = filename.lastIndexOf(pathSeparator);
     String testName = filename.substring(start + 1, filename.length - 5);
     Set<String> expectations = testExpectationsMap.expectations(testName);
 
     // TODO(whesse): Skip files with internal directives, and multipart files,
     //               until they are handled correctly.
     if (expectations.contains(SKIP)) return;
 
+    List args = ["--ignore-unrecognized-flags"];
+    if (configuration["checked"]) {
+      args.add("--enable-type-checks");
+    }
+    args.add(filename);
 
     doTest(new TestCase(testName,
                         shellPath,
-                        <String>["--enable_type_checks",
-                                 "--ignore-unrecognized-flags",
-                                 filename ],
+                        args,
                         completeHandler,
                         expectations));
   }
   
   void completeHandler(TestCase testCase) {
   }
 }