From 96c5ec74c30c7c3b3a5eb868ecec0907903fd7c3 Mon Sep 17 00:00:00 2001 From: Kresten Krab Thorup Date: Sat, 5 May 2012 18:56:03 +0200 Subject: [PATCH] Minor changes to test code --- test/hanoi_tests.erl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/test/hanoi_tests.erl b/test/hanoi_tests.erl index 9f6a630..f043402 100644 --- a/test/hanoi_tests.erl +++ b/test/hanoi_tests.erl @@ -257,8 +257,8 @@ postcondition(_S, {call, ?SERVER, open, [_Name]}, ok) -> true; postcondition(_S, {call, ?SERVER, close, [_Name]}, ok) -> true; -postcondition(_, _, _) -> - error_logger:error_report([{not_matching_any_postcondition}]), +postcondition(_State, _Call, _Result) -> +% error_logger:error_report([{not_matching_any_postcondition, _State, _Call, _Result}]), false. @@ -308,7 +308,7 @@ test_tree() -> <>, <<"data",N:128>>) end, ok, - lists:seq(2,100000,1)), + lists:seq(2,10000,1)), io:format(user, "INSERT DONE 1~n", []), lists:foldl(fun(N,_) ->