- Make sure you can push to coursegit from an FCS linux machine. A good way to test this is to push your work for Lab 1.
- Test that your push was successful by cloning the repo, per the instructions in faq.
- Read about how to write a good commit message in ยง5.2 of Pro Git
- Read Section 2 of FICS
- Read the first two sections of Stepper documentation
- Read the documentation for check-expect, check-random, check-satisfied, check-within, check-error, check-member-of, check-range