CSE647: Robust (Distributed) Software (Spring 2002)
			      Scott Stoller
			       Homework 3
Due: 14 Mar

Write checkers in metal for two properties.  You are welcome to choose
any two properties, except properties for which metal code appears in one
of Engler's papers.  (Properties for which Engler's papers describe a
checker only in English are fine.)

Don't spend too much time worrying about the exact concrete syntax of
metal.  It seems to evolve between papers anyway.