Reviewers: Benedikt Meurer,
Description:
Fix test
[email protected]
BUG=
Please review this at https://codereview.chromium.org/306353002/
SVN Base: https://v8.googlecode.com/svn/branches/bleeding_edge
Affected files (+2, -2 lines):
M test/cctest/test-types.cc
Index: test/cctest/test-types.cc
diff --git a/test/cctest/test-types.cc b/test/cctest/test-types.cc
index
41863bc7ffde4a768607f3d2e95c817a0f81c2db..d642e117ddd5e813171c05acc483457d275bc024
100644
--- a/test/cctest/test-types.cc
+++ b/test/cctest/test-types.cc
@@ -1160,13 +1160,13 @@ struct Tests : Rep {
}
}
- // T1->Maybe(T2) iff Intersect(T1, T2) inhabited
+ // T1->Maybe(T2) implies Intersect(T1, T2) inhabited
for (TypeIterator it1 = T.types.begin(); it1 != T.types.end(); ++it1) {
for (TypeIterator it2 = T.types.begin(); it2 != T.types.end();
++it2) {
TypeHandle type1 = *it1;
TypeHandle type2 = *it2;
TypeHandle intersect12 = T.Intersect(type1, type2);
- CHECK(type1->Maybe(type2) == intersect12->IsInhabited());
+ CHECK(!type1->Maybe(type2) || intersect12->IsInhabited());
}
}
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
