[cs63201] suggestion for project #2

[Mikhail Nesterenko]

AOS students,

Keep in mind that the simulation engine can be used to test the
correctness of your algorithm, for example that safety and liveness of
the mutual exclusion is guaranteed. This not difficult to implement
since the simulation engine is aware of the state of each
process. That is, the simulation engine has a perfect knowledge of the
global state of the simulated system.

thanks,
-- 
Mikhail