-module(test_meck).
-mode(compile).

-include_lib("proper/include/proper.hrl").

-compile(export_all).

prop_l() ->
  ?FORALL(V, ?LET(L, integer(1,100), vector(L, integer())), V =:= V).

test() ->
  proper:quickcheck(prop_l(), [quiet, 1000]).

main(_) ->
  R1 = timer:tc(fun () -> test() end),
  io:format("~p~n", [R1]),
  meck:new(proper, [passthrough]),
  R2 = timer:tc(fun () -> test() end),
  io:format("~p~n", [R2]),
  meck:unload(proper),
  ok.