Copyright © Quviq AB, 2008-2017
This module is an installer for the QuickCheck Emacs mode. You must ensure that the usual Erlang mode is installed first, since the QuickCheck mode depends on it. Once installed, a "QuickCheck" menu appears beside the "Erlang" menu when editing Erlang files, containing commands to insert templates for modules, properties, eqc_statem and eqc_fsm callbacks, and most of the functions and macros in the QuickCheck API. Exploring the menus is a good way to explore what the API offers.You need to reinstall the Emacs mode each time you install a new version of QuickCheck, since its location changes with each new installation.
|install/0||Tries to find the user's .emacs file, and inserts code to load the QuickCheck mode into it.|
|install/1||Inserts e-lisp code to load the QuickCheck emacs mode into the specified file.|
install() -> ok
Tries to find the user's .emacs file, and inserts code to load the QuickCheck mode into it.
install(FileName::string()) -> ok
Inserts e-lisp code to load the QuickCheck emacs mode into the
specified file. This function is useful when
fails to find the correct .emacs file.
Generated by EDoc, Sep 18 2017, 16:17:37.