Johannes Link
Johannes Link
Sounds cool. Would love to try. @kostis I invited you as a collborator since I'll be on vacation for two weeks without access to a "real" computer. Feel free to...
> "cannot hope to normalise" is too strongly worded. Do you have a more correct formulation in mind? > A couple of extensions to the challenge might be: > >...
> > Each sample from a generator is assigned a complexity metric. And every time an example is shrunk, the result is re- assigned a complexity via a complexity function....
Distance from the simplest possible generated value. You can call that „origin“ :-)
I think it's a good idea. If you have the data available feel free to add it to your elm-test reports.
What about that: "Given a list of integers (
One could also (maybe more clearly) state it as a property of a pair of elements in the list. There's also a generation challenge to come up with a random...
Do you have something in mind to replace it? For me the essence to keep is the coupling between all possible lists and those that fulfill the initial assumption. Some...
In my view it's not about uniformity as such but about: _What in the falsified sample produced by the tool gives me a hint about the root cause of the...
What the discussion shows for me: - In the general case there is no such thing as "the smallest falsifiable sample". We've known that all along but it's good to...