38 property based testing (#61)

* update travis
* adjust number of test executions
* update coverage + bug fixing in riak_core_claim

Co-authored-by: Wölki <55596379+WoelkiM@users.noreply.github.com>
Co-authored-by: woelki <m_woelki14@cs.uni-kl.de>
Co-authored-by: Peter Zeller <p_zeller@cs.uni-kl.de>

.travis.yml

@@ -8,6 +8,7 @@ install:
 script:
   - make format
   - make test
+  - make proper
   - make coverage
   - ./rebar3 as test coveralls send
   - make lint

Makefile

@@ -1,5 +1,5 @@
 PULSE_TESTS = worker_pool_pulse
-
+COVERPATH = ./_build/test/cover
 REBAR ?= ./rebar3
 
 .PHONY: deps test docs xref dialyzer format
@@ -12,7 +12,6 @@ compile: deps
 clean: clean-test
 	${REBAR} clean
 
-
 distclean: clean
 
 clean-test:
@@ -33,13 +32,20 @@ pulse:
 	${REBAR} compile -D PULSE
 	${REBAR} eunit -D PULSE skip_deps=true suite=$(PULSE_TESTS)
 
-format: 
+proper:
+	${REBAR} as proper do eunit
+
+epc:
+	${REBAR} as epc eunit
+
+format:
 	${REBAR} format
 
 test: compile
 	${REBAR} eunit
 
 coverage: compile
+	cp _build/proper+test/cover/eunit.coverdata ${COVERPATH}/proper.coverdata ;\
 	${REBAR} cover --verbose
 
 docs:

rebar.config

@@ -1,16 +1,14 @@
 %% Add debug information in compiled code for other tools like debuggers, code coverage tools, or analysis tools
 {erl_opts, [debug_info]}.
-
 {deps, [
   % worker pool library
   {poolboy, "~>1.5.2"}
 ]}.
-
 %% Defensive xref configuration
 {xref_checks, [ undefined_function_calls, locals_not_used, deprecated_function_calls ]}.
 
 %% Code formatter
-{plugins, [rebar3_format]}.
+{plugins, [rebar3_format, rebar3_proper]}.
 {format, [ {formatter, otp_formatter} ]}.
 
 %%-------------------------------------------------------------------
@@ -24,8 +22,11 @@
     {deps, [meck]}
   ]},
   {docs, [{deps, [{edown, "0.7.0"}]}]},
-  {eqc, [{erl_opts, [nowarn_export_all, {d, 'EQC'}, {d, 'TEST'}]}, {deps, [meck]}, {plugins, [{rebar_eqc, "~>0.1.0"}]}]},
-  {prod, [{relx, [{dev_mode, false}]}]},
+  {proper, [
+    {erl_opts, [nowarn_export_all,{d, 'PROPER'}, {d, 'TEST'}]},
+    {plugins, [{coveralls, {git, "https://github.com/markusn/coveralls-erl", {branch, "master"}}}]},
+    {deps, [meck, {proper, "1.3.0"}, recon]}
+  ]},
   {lint, [
     {plugins, [
       {rebar3_lint, {git, "https://github.com/project-fifo/rebar3_lint.git", {tag, "0.1.11"}}}
@@ -35,5 +36,5 @@
 
 {cover_enabled, true}.
 {cover_export_enabled, true}.
-{coveralls_coverdata, "_build/test/cover/eunit.coverdata"}.
+{coveralls_coverdata, "_build/test/cover/*.coverdata"}.
 {coveralls_service_name, "travis-ci"}.