rebaring: fiz dialyzing with either rebar and rebar3

Author: fenollp

.travis.yml

@@ -1,13 +1,14 @@
 sudo: false
 language: erlang
 script:
-- ~/rebar3 compile
-- ls -lha . _build _build/default/lib/*/ebin
-- REBAR=~/rebar3 make all
-- rm -rf _build
-- ./configure --use-sfmt
-- make fast && cd deps/sfmt && make && cd -
-- make all
+- |
+  ~/rebar3 compile
+  REBAR=~/rebar3 make all
+- |
+  rm -rf _build
+  ./configure --use-sfmt
+  make fast && cd deps/sfmt && make && cd -
+  make all
 
 otp_release:
 - 20.3
@@ -20,8 +21,8 @@ otp_release:
 - 17.0
 
 cache:
-   directories:
-   - .plt
+  directories:
+  - .plt
 
 install:
 - curl -#fSLo ~/rebar3 https://s3.amazonaws.com/rebar3/rebar3 && chmod +x ~/rebar3

Makefile

@@ -44,7 +44,7 @@ compile:
 	$(REBAR) compile
 
 dialyzer: .plt/proper_plt compile
-	dialyzer -n -nn --plt $< -Wunmatched_returns ebin $(find . -path 'deps/*/ebin/*.beam') $(find . -path '_build/default/lib/*/ebin')
+	dialyzer -n -nn --plt $< -Wunmatched_returns $(wildcard ebin deps/*/ebin _build/default/lib/*/ebin)
 
 .plt/proper_plt: .plt
 	dialyzer --build_plt --output_plt $@ --apps erts kernel stdlib compiler crypto syntax_tools

src/proper_gen_next.erl

@@ -83,7 +83,7 @@ ensure_initialized() ->
   L = [get(proper_gen_next_cache),
        get(proper_gen_next_cache_backup),
        get(proper_gen_next_depth_cache),
-       get(rand_seed),
+       get(rng_seed),
        get('$any_type'),
        get('$left'),
        get('$constraint_tries'),