| Overview |  |
Copyright © Quviq AB, 2008-2023
Version: 1.46.3
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 install/0
fails to find the correct .emacs file.
Generated by EDoc