Andrea Leopardi
Andrea Leopardi
There's a big difference between `uniq_list_of/2` and what you are looking for. `uniq_list_of/2` is a generator that generates list values where **each list is "unique"**, that is, each generated list...
I like where this is going. Is there any way we can use `Date.add/2` (and eventually `DateTime.add/3` and friends) here instead of converting between days and dates?
Hey @obrok, any particular reason for closing this?
Hey @obrok, thanks for clearing this up. If you don't mind, I'll keep this open a bit more hoping to have some cycles to work on StreamData. Thank you, and...
I like the idea of having `command/3` that takes a module, a function, and a list of generators that will be used to generate a list of arguments. However I...
Isn't only the postcondition check a property of the SUT? The point of keeping the model is to not have to check anything from the system except for postconditions afaiu?
I'm not sure what a good UI for this would look like. Take this example: ```elixir check all list
As I see it right now we have two routes to explore: ### `StreamData.check_all/3` functional approach We can make `StreamData.check_all/3` aware of this somehow. Since the function passed to `check_all`...
@alfert returning `true` is something I really wish we could avoid if possible. It limits the properties to be written in a boolean fashion instead of naturally with assertions like...
I meant to use an `aggregate` macro (maybe also `classify` but that's not the point right now) that would simply collect the data behind the scenes without the need of...