Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Update rebar & fix minor bug on old versions of OTP

  • Loading branch information...
commit 7ad4cd4ccf7139fee0551f7edc90c54a70de0663 1 parent f9c7b49
@manopapad authored
Showing with 2 additions and 2 deletions.
  1. BIN  rebar
  2. +1 −1  rebar.config
  3. +1 −1  src/proper_statem.erl
View
BIN  rebar
Binary file not shown
View
2  rebar.config
@@ -34,4 +34,4 @@
{edoc_opts, [{report_missing_type,true}, {report_type_mismatch,true},
{pretty_printer,erl_pp}, {preprocess,true}]}.
{dialyzer_opts, [{warnings,[unmatched_returns]}]}.
-{clean_post_script, "./clean_doc.sh"}.
+{post_hooks,[{clean,"./clean_doc.sh"}]}.
View
2  src/proper_statem.erl
@@ -188,7 +188,7 @@ parallel_commands(Mod, InitialState) ->
parallel_test_case().
gen_parallel_commands(Len, Mod, InitialState, InitFlag) ->
CmdList = gen_commands(Len, Mod, InitialState, InitFlag),
- LenPar = proper_arith:rand_int(?WORKERS, min(Len - 1, ?LIMIT)),
+ LenPar = proper_arith:rand_int(?WORKERS, erlang:min(Len - 1, ?LIMIT)),
{Seq, P} = lists:split(Len - LenPar, CmdList),
State = state_after(Mod, Seq),
Env = mk_env(Seq, 1),
Please sign in to comment.
Something went wrong with that request. Please try again.