Support 'erlang:phash/2', 'erlang:trunc/1', 'erlang:get/1' and 'erlang:put/2'

[mcherep]

Code example

-spec test_02(Proplist :: [{atom(), atom()}]) -> atom().
test_02([]) ->
  ok;
test_02(Proplist) ->
  Keys = proplists:get_keys(Proplist),
  Index = random:uniform(length(Keys)),
  lists:nth(Index, Keys).

=== BIFs Currently without Symbolic Interpretation ===
erlang:phash/2
erlang:trunc/1
erlang:get/1
erlang:put/2

[kostis]

Thanks for the example, but most of these have been reported as issues #52, #56 and #57.

Also, the random module will be deprecated in 19.0 and one is supposed to use the rand module instead...

[kostis]

I am closing this issue. The part that is not mentioned in other issues (support erlang:trunc/1) is fixed.