anchor.diff:  %% ---------------------------------------------------------------------------
   %% eqc generators
   
  +%% valid authorization modes for app.config
   g_auth () ->
       oneof([userlist,none]).
   
  +%% username and password pairs (none = don't pass user/pass)
   g_userpass () ->
       oneof([{user,pass},
              {user,bad_password},
  
positive.code:            none % not passing auth data
            ]).
  
  g_qs () ->
      ?LET(Filter,g_filter(),
           ?LET(Page,g_page(),
                Filter ++ Page)).
  
  g_filter () ->
      oneof([oneof([[{filter,node}],
                    [{filter,node},{q,g_node()}],
                    [{q,g_node()}]
                   ]),
             [{filter,handoffs}],
             [{filter,fallbacks}],
             []
            ]).
  
  g_page () ->
      oneof([[{n,int()},{p,int()}],
             [{n,int()}],
  
negative.code:            []
            ]).
  
  %% this node or a dummy node
  g_node () ->
      oneof([node(),'dummy@nohost']).
  
  