% $Id: SampleSecureTest.oz,v 1.2 2012/04/17 21:28:48 leavens Exp leavens $
\insert 'TestingNoStop.oz'
\insert 'SampleSecure.oz'

%% Specification
%%    for all I, J, K, L: <Int>, F: <Float>:
%% 
%%  try
%%    {Average {NewSample I J K}}
%%  catch X then F end
%%    == if 0 =< I andthen I < J
%%          andthen J < K
%%       then {IntToFloat I+J+K}/3.0
%%       else F end
%% 
%%  try
%%    {Median {NewSample I J K}}
%%  catch X then L end
%%    == if 0 =< I andthen I < J
%%          andthen J < K
%%       then J else L end

{StartTesting 'SampleSecureTest $Revision: 1.2 $'}
{Test {Median {NewSample 1 2 3}} '==' 2}
{Test {Average {NewSample 1 2 3}} '==' 2.0}

{Test {Median {NewSample 1 3 26}} '==' 3}
{Test {Average {NewSample 1 3 26}} '==' 10.0}
{DoneTesting}