install Erlang QuickCheck Mini do the following steps in a terminal:
Download QuickCheck Mini from http://www.quviq.com/downloads/
(Links to an external site.)Links to an external site.
I used the command:
$ wget http://www.quviq.com/wp-content/uploads/2015/09/eqcmini-2.01.0.zip
Unzip QuickCheck Mini:
$ unzip eqcmini-2.01.0.zip
Start an erlang shell (you need rights to write in the location of your erlang installation, thus on windows you might need to be administrator and on linux and macOS you might need to run erl via sudo)
$ erl
In the erlang shell execute the command eqc_install:install() (and maybe answer questions regarding emacs setup):
1> eqc_install:install().
Remember to bookmark the link to the documentation.
After the installation execute the command eqc:start() to check that everything went well. You should get output similar to the following:
2> eqc:start().
Starting Quviq QuickCheck Mini version 2.01.0
(compiled at {{2015,9,2},{9,3,13}})
ok
If the above instructions doesn’t work for you, see README.txt in the zip-file for further instructions.