The examples in this directory illustrate the use of sal-atg, SAL's
automated test generator. 

For more explanations on sal-atg, download the manual at: 
http://www.csl.sri.com/users/rushby/abstracts/sal-atg

