<HTML><HEAD></HEAD>
<BODY dir=ltr>
<DIV dir=ltr>
<DIV style="FONT-FAMILY: 'Calibri'; COLOR: #000000; FONT-SIZE: 12pt">
<DIV>Hi Tej,</DIV>
<DIV> </DIV>
<DIV>Nowadays there is an installer (in Erlang)... if you cd to the directory
containing eqc_install and run eqc_install:install(), then you should get a
working installation. You will probably need to sudo/run as administrator in
order to do that, because your Erlang installation is normally not
writable.</DIV>
<DIV> </DIV>
<DIV>John</DIV>
<DIV>
<DIV
style="FONT-STYLE: normal; DISPLAY: inline; FONT-FAMILY: 'Calibri'; COLOR: #000000; FONT-SIZE: small; FONT-WEIGHT: normal; TEXT-DECORATION: none"></DIV>
<DIV style="FONT: 10pt tahoma">
<DIV style="BACKGROUND: #f5f5f5">
<DIV style="font-color: black"><B>From:</B> <A title=tejaswi.h@gmail.com
href="mailto:tejaswi.h@gmail.com">Tejaswi Haramurali</A> </DIV>
<DIV><B>Sent:</B> Saturday, April 07, 2012 12:33 AM</DIV>
<DIV><B>To:</B> <A title=erlang-questions@erlang.org
href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</A> </DIV>
<DIV><B>Subject:</B> [erlang-questions] Resources for QuickCheck and
TyPer</DIV></DIV></DIV>
<DIV> </DIV></DIV>
<DIV
style="FONT-STYLE: normal; DISPLAY: inline; FONT-FAMILY: 'Calibri'; COLOR: #000000; FONT-SIZE: small; FONT-WEIGHT: normal; TEXT-DECORATION: none">
<DIV>Thanks for your replies John and Tilman...</DIV>
<DIV> </DIV>
<DIV>I tried downloading Quickcheck from the link provided and run it, but
however I was unable to.</DIV>
<DIV>I followed the instructions in the ReadMe file and pasted the eqc- folder
to the "lib" folder inside my Erlang installation folder, but still the
"eqc:quickcheck" command doesnt work.</DIV>
<DIV> </DIV>
<DIV>Can you kindly help me out ? Is there anything I am missing ?</DIV>
<DIV> </DIV>
<DIV>regards,</DIV>
<DIV>Tej</DIV>
<P>
<HR>
_______________________________________________<BR>erlang-questions mailing
list<BR>erlang-questions@erlang.org<BR>http://erlang.org/mailman/listinfo/erlang-questions<BR></DIV></DIV></DIV></BODY></HTML>