Running Quickcheck

On Linux:

You have two options.

1. download the QCheck library from 
http://comsci.liu.edu/~league/dist/qcheck/qcheck-1.0.tar.gz
untar it into <somepath> (on my machine <somepath>=~/teaching/fps/)

cd <somepath>/qcheck-1.0
make -f Makefile.moscow
.
.  compiles .ui/.uo files in src subdirectory
. 
mosml -I <somepath>/qcheck-1.0/src

then you can use command "load QCheck" in interpreted files or 
in the interpreter.

2. follow instructions for Windows users.



On Windows:

Since the moscow ml interpreter and compiler have problems with 
filenames on Windows I had to modify all of the source filenames
in the QCheck package and recompile. I have created a zip file
of the compiled src directory with the modified filenames. 

qcheck-1.0-win.zip

Note that this is not the entire QCheck distribution but only
the files you need. 

On windows you can use explorer or other mechanism to unzip 
this into some directory. Now if you want to use it you will
need to give mosml the -I option to find these files

mosml -I <somepath>\qcheck-1.0-win  

(on my windows machine <somepath> is c:\moscowml\)

then you can use command "load Qcheck" in interpreted files or 
in the interpreter. 

Note the different name!! The module file is Qcheck.ui, not QCheck.ui as 
in the Linux version.