2016-04-05 3 views
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()). 

答えて

2

test generator functionを使用して、デフォルト5秒:

ec_prop_test_() -> 
    {timeout, 30, ?_assert(ec_property:check())}. 

(注)テストジェネレータを作成する方法を示します関数名—に追加され、末尾のアンダースコア。 _assertの先頭のアンダースコアにも注意してください。これはテストオブジェクトを作成する1つの方法です。

例の30を必要な秒数に変更してください。

関連する問題