Andreas Löscher
Andreas Löscher
This won't work for larger projects with 100s or 1000s of modules. You don't need a python script to programatically load all modules. It's just that it's not feasible. I...
I think this is caused by how PropEr checks that the values that get generated during shrinking are of the input type and how it handled non-generator input types such...
Doing a clean on the hex package will fail, because it does not seem to package the script references in the post-clean hook.
A `parse_transform` shoudn't be lazy, I wouldn't know what that should be, since they are invoked by the compiler. The problem with the way PropEr handles external types is that...
> In my opinion, proper(TM) build systems for Erlang should take this into account and not (arbitrarily?) constrain what it is possible to express currently. Anyway, these are my thoughts...
In your PR the seed get's only parsed from the options but it does not actually get set as seed for the RNG. The reason for failing the test case...
Thinking about it a little bit, what you want to achieve with setting the seed is that runs of the same property with the same seed produce the same input...
I am working on a fix for cleaning up the targeted part from the state.
This might work but I really think that proper should clean up after itself without the user needing to call `proper_target:cleanup_strategy` manually. `proper:quickcheck` should not leave this stuff in the...
I'm sorry for being so slow. I have a patch that fixes the issue and will upload it in a minute.