[pypy-commit] pypy run-extra-tests: Add a failing test

[rlamy]

Author: Ronan Lamy <ronan.lamy at gmail.com>
Branch: run-extra-tests
Changeset: r92911:1dc82bde8716
Date: 2017-11-02 17:38 +0000
http://bitbucket.org/pypy/pypy/changeset/1dc82bde8716/

Log:	Add a failing test

diff --git a/extra_tests/test_failing.py b/extra_tests/test_failing.py
new file mode 100644
--- /dev/null
+++ b/extra_tests/test_failing.py
@@ -0,0 +1,8 @@
+from hypothesis import given, strategies
+
+def mean(a, b):
+    return (a + b)/2.
+
+ at given(strategies.integers(), strategies.integers())
+def test_mean_failing(a, b):
+    assert mean(a, b) >= min(a, b)