def test_can_falsify_types_without_default_productions(): strategies = SearchStrategies() strategies.define_specification_for(Bar, BarStrategy) with pytest.raises(MissingSpecification): SearchStrategies.default().strategy(Bar) verifier = Verifier(search_strategies = strategies) assert verifier.falsify(lambda x : False, Bar,)[0] == Bar() assert verifier.falsify(lambda x : x.size() < 3, Bar)[0] == Bar(Bar(Bar()))
def test_can_falsify_types_without_default_productions(): strategies = SearchStrategies() strategies.define_specification_for(Bar, BarStrategy) with pytest.raises(MissingSpecification): SearchStrategies.default().strategy(Bar) verifier = Verifier(search_strategies=strategies) assert verifier.falsify( lambda x: False, Bar, )[0] == Bar() assert verifier.falsify(lambda x: x.size() < 3, Bar)[0] == Bar(Bar(Bar()))