nothing()
will throw Unsatisfiable
upon being used, so we are good here.
hypothesis
complains about filter
s being too picky and sometimes even cuts the generation when it fails the filter repeatedly.
Yes.
I wonder if integers.map()
can be replaced with binary
?
(the same applies to all other warnings here)
Can this be a hard error? I mean, that's nonsense in test and warnings tend to slip through.
I understand this is somewhat cleaner, but does it have practical implication? Answer should ideally be in commit message :-)
Štěpán Balážik (9805f85a) at 16 Nov 11:56
reimplement test_wildcard using new machinery
Štěpán Balážik (0893f7ad) at 16 Nov 11:40
reimplement test_wildcard using new machinery
... and 2 more commits
done in ca0ab7e3
done in c06b81a5
I mean the value, not length. Value \000 is legal.
Zero length label won't get through dns.name.Name
constructor.
Don't be shy, use 0 as minimum value :-)
I guess it is worth a warning as well. Most likely that was not intended usage. (Why call generator if it can return only one thing?)
Štěpán Balážik (4b8a548f) at 11 Nov 15:29
add dns_query strategy and its prerequisites
... and 4 more commits