username.erl

get_status_url_prop() ->
  ?FORALL( {Username, Lower}
         , gen_username()
         , <<"profiles/", Lower/binary ,"/data/status.json">> == util_content:get_status_url(Username)
         ).
         
gen_username() ->
  ?LET( Username
      , list(char())
      , begin
          Binary = list_to_binary(Username),
          LowerCase = list_to_binary(string:to_lower(Username)),
          {Binary, LowerCase}
        end
      ).