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

run(argv)
run(OptionParser.argv) :: boolean

Callback implementation for Mix.Task.run/1.