anchor.diff:  -include("tts.hrl").
   
   %% API.
  --export([start_link/0]).
  +-export([start_link/2]).
   -export([set_user_info/2]).
   -export([get_user_info/1]).
   -export([get_credential_list/1]).
  
positive.code: 
  %% API.
  
  -spec start_link() -> {ok, pid()}.
  start_link() ->
  	gen_server:start_link(?MODULE, [], []).
  
  -spec set_user_info(UserInfo :: map(), Pid :: pid()) -> ok.
  set_user_info(Info, Pid) ->
  
negative.code: -export([code_change/3]).
  
  -record(state, {
            sub = undefined,
            iss = undefined,
            user_info = #{},
            credentials = [],
            sessions = []
  