Author: Ronan Lamy <ronan.l...@gmail.com>
Branch: union-side-effects
Changeset: r86908:35a154a7faf2
Date: 2016-09-06 15:38 +0100
http://bitbucket.org/pypy/pypy/changeset/35a154a7faf2/
Log: Use more general strategy in 2 tests
diff --git a/rpython/annotator/test/test_model.py
b/rpython/annotator/test/test_model.py
--- a/rpython/annotator/test/test_model.py
+++ b/rpython/annotator/test/test_model.py
@@ -170,12 +170,12 @@
lambda st_ann: valid_unions(st_ann) | st.builds(SomeTuple,
st.lists(st_ann)),
max_leaves=3)
-@given(s=st_numeric)
+@given(s=st_annotation)
def test_union_unary(s):
assert union(s, s) == s
assert union(s_ImpossibleValue, s) == s
-@given(s1=st_numeric, s2=st_numeric)
+@given(s1=st_annotation, s2=st_annotation)
def test_commutativity_of_union_compatibility(s1, s2):
assert compatible(s1, s2) == compatible(s2, s1)
_______________________________________________
pypy-commit mailing list
pypy-commit@python.org
https://mail.python.org/mailman/listinfo/pypy-commit
