anchor.diff:  -module(etorrent_dht_net).
   -include("types.hrl").
  +
  +-ifdef(TEST).
  +-include_lib("eqc/include/eqc.hrl").
  +-include_lib("eunit/include/eunit.hrl").
  +-endif.
  +
   -behaviour(gen_server).
   -import(etorrent_bcoding, [search_dict/2, search_dict_default/3]).
   -import(etorrent_dht, [distance/2, closest_to/3]).
  
positive.code: 
  -ifdef(EQC).
  
  properties_test() ->
     ?assert(?MODULE:check()).
  
  
negative.code:        end).
  
  
  encoder({dht_query, Method, MsgId, Params}) ->
      encode_query(Method, MsgId, Params).
  
  prop_query_inv() ->
     ?FORALL(InQ, dht_query(),
         begin
             OutQ = decode_msg(encoder(InQ)),
             OutQ =:= InQ
         end).
  
  -endif. %% EQC
  -endif.
  