diff --git a/tests/strategy_inference/test_matching_bounds.py b/tests/strategy_inference/test_matching_bounds.py index 1ec0c5a..3010f38 100644 --- a/tests/strategy_inference/test_matching_bounds.py +++ b/tests/strategy_inference/test_matching_bounds.py @@ -181,8 +181,8 @@ def some_func(x: datetime.date) -> None: icontract_hypothesis.test_with_inferred_strategy(some_func) def test_correct_stacked_lower_bound(self) -> None: - @icontract.require(lambda x: 0 < x) @icontract.require(lambda x: 3 <= x) + @icontract.require(lambda x: 0 < x) def some_func(x: int) -> None: pass @@ -195,8 +195,8 @@ def some_func(x: int) -> None: icontract_hypothesis.test_with_inferred_strategy(some_func) def test_correct_stacked_upper_bound(self) -> None: - @icontract.require(lambda x: x < 100) @icontract.require(lambda x: x <= 90) + @icontract.require(lambda x: x < 100) def some_func(x: int) -> None: pass