We want to run PropEr from within eunit, but there are 2 problems:
I am overcoming these problems with these eunit helpers:
test1() -> ?FORALL(I, pos_integer(), 0 < I).
test2() -> ?FORALL( ... ).
Might be useful for others?
If yes, please let me know if "proper_eunit" module name is fine, I will submit a pull request.
Althoug not really something necessary (the user can use PropEr in eunit tests without this wrapper), I at least see that this addition can come in handy in some applications, so go ahead and submit a pull request.
The proper_eunit module name is fine, but I see that in your proper_utils module you have a lot of functions that are exported and I am not sure all of them should be. Also, we would appreciate if your pull request came with PropEr edoc-umentation (see http://proper.softlab.ntua.gr/doc/) and with one or two tests so that we do not accidentally break the core functionality of the new module.
Thanks in advance.
Nice, I agree with you.
@Motiejus do you want to take this on?
I am doing it. Takes some time, because I want to do it properly(tm).
Testing is the tricky part, but can be done.
Hope to submit this some time today.