diff --git a/Makefile b/Makefile index 3b5f540..1b167ab 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,5 @@ REBAR=rebar3 +RUN_EQC=erl -pa _build/default/lib/enacl/ebin -noshell -s enacl_eqc -s init stop .PHONY: compile compile: @@ -10,6 +11,12 @@ eqc_compile: compile eqc_mini_compile: compile erlc -Dmini -o _build/default/lib/enacl/ebin eqc_test/enacl_eqc.erl +eqc_run: eqc_compile + $(RUN_EQC) + +eqc_mini_run: eqc_mini_compile + $(RUN_EQC) + .PHONE: console console: compile $(REBAR) shell diff --git a/eqc_test/enacl_eqc.erl b/eqc_test/enacl_eqc.erl index e4efbfd..b7cfb5f 100644 --- a/eqc_test/enacl_eqc.erl +++ b/eqc_test/enacl_eqc.erl @@ -11,6 +11,8 @@ -define(FAULT_RATE(Arg1, Arg2, Arg3), noop_fault_rate(Arg1, Arg2, Arg3)). -endif. +start()-> + eqc:module(?MODULE). noop_fault(_Bad, Good) -> Good.