Add eqc_mini_run and eqc_run directives to Makefile
This commit is contained in:
parent
fd796440db
commit
cfd654c275
7
Makefile
7
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
|
||||
|
@ -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.
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user