anchor.diff:  		?_assertEqual(#ok{more={'free up success', term_to_binary(?rs)}}, Actual) end
         }
       }.
  +
  +alloc_no_free_resource_test_() ->
  +    {
  +      "When client asks to alloc a resource and there is no free resources, then Server must reply with a message",
  +      {
  +	setup,
  +	fun() -> ?MODULE:start(),
  +		 genrs:alloc(),
  +		 receive 
  +		     _ ->
  +			 pass
  +		 end,
  +		 genrs:alloc(),
  +		 receive
  +		     Msg ->
  +			 Msg
  +		 end
  +	end,
  +	fun ?MODULE:after_each/1,
  +	fun(Actual) ->
  +		?_assertEqual({error, 'no free resource anymore'}, Actual) end
  +	
  +      }
  +    }.
  
positive.code: after_each(_) ->
      ?MODULE:stop().
  
  freeup_not_allocated_test_() ->
      {
        "When Server receives protocol 'freeup' and a resource name and the resource has not been allocated, then Server must reply with an error message",
        {
  
negative.code:       }
      }.
  
  %%% This Test Case also implicitly tests alloc success.
  freeup_test_() ->
      {
        "When client asks to free up a resource which is allocated, then GenRS must free up the resource",
  