David R. MacIver

Results 34 issues of David R. MacIver

The following code triggers a segfault when run with the latest version of wrapt from develop: ```python import wrapt pow(*map(wrapt.ObjectProxy, [1, 2, 3])) ``` I spotted this because I was...

Often what I want to do is I run a command, find it's unreliable, and then run it again with autoclave. It would be nice if I could do this...

enhancement

Lark has the general notion of a postlexer which allows you to do more complicated things with lexing than you can easily support in the main grammar definition language. Currently...

lark

Currently if you want to have process isolation for your tests you can use the forking executor. But you probably shouldn’t. It has a number of weird limitations: It may...

enhancement

As of #2031 when generating unique collections with elements from from a `sampled_from`, we use the number of elements being sampled from to adjust the size. This could be made...

enhancement

As of #1740 we support generating strategies from Lark grammars (🎉), but this is currently a bit under-tested, and I suspect doesn't support a reasonably wide range of grammars. Certainly...

lark

I’d like to be able to generate strings matching some grammar. I’ve previously implemented this in a very early version of Hypothesis for regular grammars but never finished it off.

new-feature

Rather controversially I was using Hypothesis to test a thing rather than just working on Hypothesis, and I noticed that the stateful testing sometimes shrinks absolutely dreadfully. I believe this...

test-case-reduction

Note: This is part of #1093, where I encourage people to work on the shrinker. As such I will not be working on it myself and encourage you to take...

test-case-reduction

Note: This is part of #1093, where I encourage people to work on the shrinker. As such I will not be working on it myself and encourage you to take...

test-case-reduction