-

cool-RR · cool-RR · commit 448c15929889 · 2015-06-09T14:34:08.000+03:00
diff --git a/source_py3/python_toolbox/cute_testing.py b/source_py3/python_toolbox/cute_testing.py
@@ -110,7 +110,7 @@ def manage_context(self):
 def assert_same_signature(*callables):
     '''Assert that all the `callables` have the same function signature.'''
     arg_specs = [cute_inspect.getargspec(callable_) for callable_ in callables]
-    if not logic_tools.all_equivalent(arg_specs, exhaustive=True):
+    if not logic_tools.all_equivalent(arg_specs, assume_transitive=False):
         raise Failure('Not all the callables have the same signature.')
     
     
diff --git a/source_py3/python_toolbox/logic_tools.py b/source_py3/python_toolbox/logic_tools.py
@@ -29,16 +29,9 @@ def all_equivalent(iterable, relation=operator.eq, *, assume_reflexive=True,
     can use `assume_reflexive=False`, `assume_symmetric=False` and
     `assume_transitive=False` to break any of these assumptions and make this
     function do more checks that the equivalence holds between any pair of
-    items from the iterable.
-    
-    If `exhaustive` is set to `False`, it's assumed that the
-    equality relation is transitive, therefore not every member is tested
-    against every other member. So in a list of size `n`, `n-1` equality checks
-    will be made.
-    
-    If `exhaustive` is set to `True`, every member will be checked against
-    every other member. So in a list of size `n`, `(n*(n-1))/2` equality checks
-    will be made.
+    items from the iterable. (The more assumptions you ask to break, the more
+    checks this function does before it concludes that the relation holds
+    between all items.)
     '''
     from python_toolbox import sequence_tools
     
