Start PropEr

rebar.config

@@ -15,3 +15,13 @@
 {erl_first_files, [
                    "src/msgpack_ext.erl"
                   ]}.
+
+{project_plugins, [rebar3_proper]}.
+
+{profiles,
+ [{test, [
+          {erl_opts, [nowarn_export_all]},
+          {deps, [proper]}
+         ]
+  }]
+}.

test/prop_msgpack.erl

@@ -0,0 +1,31 @@
+-module(prop_msgpack).
+-include_lib("proper/include/proper.hrl").
+-include("msgpack.hrl").
+
+%%%%%%%%%%%%%%%%%%
+%%% Properties %%%
+%%%%%%%%%%%%%%%%%%
+prop_test() ->
+    ?FORALL(Type, mytype(),
+        begin
+            boolean(Type)
+        end).
+
+prop_pack() ->
+    ?FORALL(Term, msgpack_object(),
+        begin
+            Bin = msgpack:pack(Term),
+            is_binary(Bin)
+        end).
+
+%%%%%%%%%%%%%%%
+%%% Helpers %%%
+%%%%%%%%%%%%%%%
+boolean(_) -> true.
+
+%%%%%%%%%%%%%%%%%%
+%%% Generators %%%
+%%%%%%%%%%%%%%%%%%
+msgpack_object() -> term().
+mytype() ->
+    term().