0
rebar3設定のeunitのタイムアウトを変更するにはどうすればよいですか?Triqテスト実行時にeunitがタイムアウトしないようにします
私はプロパティベースTriqはテスト実行時にマイEUNITランナーがタイムアウトさ:ここ
===> Verifying dependencies...
===> Compiling ierminer
===> Performing EUnit tests...
Pending:
test_ec:ec_prop_test/0
%% Unknown error: timeout
undefined
%% Unknown error: {blame,[3,1]}
Finished in ? seconds
3 tests, 0 failures, 3 cancelled
===> Error running tests
は私の財産の仕様です:
-module(ec_property).
-include_lib("triq/include/triq.hrl").
prop_append() ->
?FORALL({Xs,Ys},{list(int()),list(int())},
lists:reverse(Xs++Ys)
==
lists:reverse(Ys) ++ lists:reverse(Xs)).
prop_valid_started() ->
?FORALL({Type, Items, Size},
{oneof([left,right]), non_empty(list(any())), pos_integer()},
element(1, ec:start(Type, Items, Size)) == ok).
、ここでは、私は私のEUNITテストからそれを呼び出す方法です関数:
ec_prop_test() -> ?assert(ec_property:check()).