eqc_ex v1.4.2 Mix.Tasks.Eqc.Template
A Mix task for creating a template for a specific QuickCheck model.
Options
--model model
- creates a QuickCheck model (default eqc_statem).--dir directory
- puts the created file into directory (default first path in :test_paths project parameter).--api api_description
- uses @spec notiation type declarations to create a template.
Examples
mix eqc.template --model eqc_statem model_eqc.exs
mix eqc.template --model eqc_component eqc/comp_eqc.exs
mix eqc.template --dir test model_eqc.exs
mix eqc.template --api "Process.register(pid(), name()) :: true" process_eqc.exs
mix eqc.template --api "[ Process.register(pid(), name()) :: true, Process.unregister(name()) :: true ]" process_eqc.exs
Summary
Functions
Callback implementation for Mix.Task.run/1
Functions
Callback implementation for Mix.Task.run/1
.