| Index: tools/testing/dart/status_reporter.dart
|
| diff --git a/tools/testing/dart/status_reporter.dart b/tools/testing/dart/status_reporter.dart
|
| index 734fb262da02fc32668cdb6369e5fe3a328cec20..69c1a0e7f7bd42252def60ac59989bb6a51620da 100644
|
| --- a/tools/testing/dart/status_reporter.dart
|
| +++ b/tools/testing/dart/status_reporter.dart
|
| @@ -149,8 +149,8 @@ void main(List<String> args) {
|
| modes = ['release'].toSet();
|
| } else {
|
| for (var combo in combinations) {
|
| - arches.addAll(combo['archs']);
|
| - modes.addAll(combo['modes']);
|
| + arches.addAll(combo['archs'] as List<String>);
|
| + modes.addAll(combo['modes'] as List<String>);
|
| }
|
| }
|
|
|
| @@ -169,7 +169,7 @@ void main(List<String> args) {
|
| }
|
|
|
| for (var runtime in combination['runtimes']) {
|
| - var compiler = combination['compiler'];
|
| + var compiler = combination['compiler'] as String;
|
|
|
| var args = [
|
| 'tools/test.py',
|
| @@ -190,8 +190,8 @@ void main(List<String> args) {
|
| // Find "JSON:"
|
| // Everything after will the JSON-formatted output
|
| // per --report-in-json flag above
|
| - var totalIndex = result.stdout.indexOf('JSON:');
|
| - var report = result.stdout.substring(totalIndex + 5);
|
| + var totalIndex = (result.stdout as String).indexOf('JSON:');
|
| + var report = (result.stdout as String).substring(totalIndex + 5);
|
|
|
| var map = JSON.decode(report) as Map<String, int>;
|
|
|
|
|