Index: tests/language_strong/async_and_or_test.dart |
diff --git a/tests/language_strong/async_and_or_test.dart b/tests/language_strong/async_and_or_test.dart |
deleted file mode 100644 |
index 6d1e858d81d66ababf835c65ec3131530b86bf2d..0000000000000000000000000000000000000000 |
--- a/tests/language_strong/async_and_or_test.dart |
+++ /dev/null |
@@ -1,88 +0,0 @@ |
-// Copyright (c) 2015, 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"; |
-import "package:async_helper/async_helper.dart"; |
- |
-@NoInline() |
-@AssumeDynamic() |
-confuse(x) { |
- return x; |
-} |
- |
-test1() async { |
- Expect.isFalse(await confuse(false) && await confuse(false)); |
- Expect.isFalse(await confuse(false) && await confuse(true)); |
- Expect.isFalse(await confuse(true) && await confuse(false)); |
- Expect.isTrue(await confuse(true) && await confuse(true)); |
- |
- Expect.isFalse(await confuse(false) || await confuse(false)); |
- Expect.isTrue(await confuse(false) || await confuse(true)); |
- Expect.isTrue(await confuse(true) || await confuse(false)); |
- Expect.isTrue(await confuse(true) || await confuse(true)); |
-} |
- |
-String trace; |
- |
-traceA(x) { |
- trace += "a"; |
- return x; |
-} |
- |
-traceB(x) { |
- trace += "b"; |
- return x; |
-} |
- |
-testEvaluation(void fn()) async { |
- trace = ""; |
- await fn(); |
-} |
- |
-test2() async { |
- await testEvaluation(() async { |
- Expect |
- .isFalse(await confuse(traceA(false)) && await confuse(traceB(false))); |
- Expect.equals("a", trace); |
- }); |
- await testEvaluation(() async { |
- Expect.isFalse(await confuse(traceA(false)) && await confuse(traceB(true))); |
- Expect.equals("a", trace); |
- }); |
- await testEvaluation(() async { |
- Expect.isFalse(await confuse(traceA(true)) && await confuse(traceB(false))); |
- Expect.equals("ab", trace); |
- }); |
- await testEvaluation(() async { |
- Expect.isTrue(await confuse(traceA(true)) && await confuse(traceB(true))); |
- Expect.equals("ab", trace); |
- }); |
- |
- await testEvaluation(() async { |
- Expect |
- .isFalse(await confuse(traceA(false)) || await confuse(traceB(false))); |
- Expect.equals("ab", trace); |
- }); |
- await testEvaluation(() async { |
- Expect.isTrue(await confuse(traceA(false)) || await confuse(traceB(true))); |
- Expect.equals("ab", trace); |
- }); |
- await testEvaluation(() async { |
- Expect.isTrue(await confuse(traceA(true)) || await confuse(traceB(false))); |
- Expect.equals("a", trace); |
- }); |
- await testEvaluation(() async { |
- Expect.isTrue(await confuse(traceA(true)) || await confuse(traceB(true))); |
- Expect.equals("a", trace); |
- }); |
-} |
- |
-test() async { |
- await test1(); |
- await test2(); |
-} |
- |
-main() { |
- asyncStart(); |
- test().then((_) => asyncEnd()); |
-} |