<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:times new roman,new york,times,serif;font-size:12pt"><div>hello,<br><br>I am trying to run PropEr tests from Eunit and I must admit, I can't figure out how to run them<br><br><br>lets say I want to test the following three functions<br><br>%%--------------------------------------------------------------------<br>%% @doc<br>%% convert Date to atom<br>%% @end<br>%%--------------------------------------------------------------------<br>-spec date_to_atom(date()) -> atom().<br>date_to_atom({Year, Month, Day}) -><br> list_to_atom(date_to_string({Year, Month, Day})).<br><br>%%--------------------------------------------------------------------<br>%% @doc<br>%% Convert Date to string<br>%% @end<br>%%--------------------------------------------------------------------<br>-spec date_to_string(date()) -> string().<br>date_to_string({Year,
Month, Day}) -><br> lists:flatten(io_lib:format("~4.10.0B~2.10.0B~2.10.0B", [Year, Month, Day])).<br><br><br>%%--------------------------------------------------------------------<br>%% @doc<br>%% convert Date represented as atom into Erlang date format<br>%% @end<br>%%--------------------------------------------------------------------<br>-spec atom_to_date(atom()) -> date().<br>atom_to_date(Date) -><br> Year = list_to_integer(lists:sublist(atom_to_list(Date),1,4)),<br> Month = list_to_integer(lists:sublist(atom_to_list(Date),5,2)),<br> Day = list_to_integer(lists:sublist(atom_to_list(Date),7,2)),<br> {Year, Month, Day}.<br><br><br><br>with the following property:<br><br>proper_time_to_atom() -><br> ?FORALL(Date, date(),<br> begin<br> EncDate =
ec_time_fns:atom_to_date(ec_time_fns:date_to_atom(Date)),<br> EncDate =:= Date<br> end).<br> <br>running the following from erl works fine<br>proper:quickcheck(ec_time_fns_tests:proper_time_to_atom()).<br><br><br>but how do I make eunit to run these test?<br><br><br>tried this , but it doesn't seem to work<br><br>time_to_atom_test_() -><br> ?_test(proper:quickcheck(proper_time_to_atom())).<br><br><br>any ideas?<br><br>Regards, Roman<br><br></div>
</div></body></html>