Add proper and port gzip property test from Hex

hexpm · Mar 3, 2018 · 3454ca1 · 3454ca1
1 parent 266bbf2
commit 3454ca1
Show file tree

Hide file tree

Showing 4 changed files with 27 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -2,3 +2,6 @@ language: erlang
 sudo: false
 otp_release:
   - 20.2
+script:
+  - rebar3 eunit
+  - rebar3 proper
diff --git a/rebar.config b/rebar.config
@@ -1,2 +1,8 @@
 {erl_opts, [debug_info]}.
-{deps, []}.
+{plugins, [rebar3_proper]}.
+{deps, []}.
+{profiles,
+    [{test, [
+        {deps, [{proper, "1.2.0"}, recon]}
+    ]}
+]}.
diff --git a/rebar.lock b/rebar.lock
@@ -0,0 +1 @@
+[].
diff --git a/test/prop_hex_tarball.erl b/test/prop_hex_tarball.erl
@@ -0,0 +1,16 @@
+-module(prop_hex_tarball).
+-include_lib("proper/include/proper.hrl").
+
+prop_symmetric() ->
+    ?FORALL(Binary, binary(),
+        begin
+            zlib:gunzip(hex_tarball:gzip(Binary)) =:= Binary
+        end).
+
+prop_equivalent() ->
+    ?FORALL(Binary, binary(),
+        begin
+            <<31, 139, 8, 0, 0, 0, 0, 0, 0, _Os, ZlibRest/binary>> = zlib:gzip(Binary),
+            <<31, 139, 8, 0, 0, 0, 0, 0, 0, 0, HexRest/binary>> = hex_tarball:gzip(Binary),
+            ZlibRest =:= HexRest
+        end).