How to set up Mocha


You need to execute these commands from a Linux machine. Follow these instructions: Note: The version of Mocha I put here is slightly different from the one you can find on the main Mocha webpage http://www-cad.eecs.berkeley.edu/~mocha For Homework 1, either version is fine. For later assignments, you need to use the version set up here.
Luca de Alfaro
luca@soe.ucsc.edu