Skip to content

Instantly share code, notes, and snippets.

@spiegela

spiegela/base64_vlq_tests.erl

Last active August 29, 2015 13:57
Show Gist options
  • Save spiegela/9711233 to your computer and use it in GitHub Desktop.
Save spiegela/9711233 to your computer and use it in GitHub Desktop.
Download ZIP
Encode/Decode Property Test
Raw
base64_vlq_tests.erl
prop_encode_decode() ->
?FORALL(Int, integer(),
begin Int =:= prop_encode_decode(Int) end).
prop_encode_decode(Int) ->
[{value, Ret}|_] = base64_vlq:decode(base64_vlq:encode(Int)), Ret.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment