anchor.diff:              end,
   
       Yield.
  +
   
   check_forall(N,N,_,_,_,#triq{count=Count}) ->
       {success, Count};
  
positive.code: -export([check/1,
           check/2,
           check/3,
           equals/2,
           fails/1,
           module/1,
  
negative.code: %%--------------------------------------------------------------------
  fails(Prop) ->
      {'prop:fails', Prop}.
  
  %%--------------------------------------------------------------------
  %% @doc
  %% A Property which succeeds when all of the properties passed in are
  %% true.  Note, this method short-circuits on the first failure in the
  %% list and subsequent properties are not tested.
  %%
  %% @spec conjunction( list({atom(), property()}) ) -> property()
  %% @end
  %%--------------------------------------------------------------------
  conjunction(Properties) ->
      {'prop:conjunction', Properties}.
  
  numtests(Num,Prop) ->
      {'prop:numtests', Num, Prop}.
  
  