This folder contains the experiment materials of CIVL. 
The folder is organized as follows:

./README: this file
./CIVL: the binary distributions for CIVL and instructions
for installing CIVL
./CLOC: the binary distribution of cloc (Count Lines of Code)
./examples: the examples that we want to use for our submission
./lazycseq: experiment results with lazycseq
./TASS: experiment results with TASS

To run the experiments, follow the instructions below:

1. Follow the instructions in ./CIVL/README to install CIVL (for most users, 
this will be the easiest way to install and use CIVL.);
2. Put ./CLOC/cloc in your path; 
3. Go to ./examples, and run "make" from there, which will trigger 
CIVL to verify the examples there. The file ./examples/example_output.txt is 
the output from running make on an iMac, the results reported in our paper.


