USAGE
  java -cp dsc.jar;[USER_CLASSES] -javaagent:instrument.jar edu.uta.cse.dsc.Dsc [PROPERTIES_FILE] [BASIC_DSC_CLASS_CP BASIC_DSC_CLASS_CP_METHOD]
EXAMPLE
  java -cp dsc.jar;c:\java\proj\bin -javaagent:instrument.jar edu.uta.cse.dsc.Dsc please.Cover me
  
The example assumes two things:

(1) The current directory contains the following files from the Dsc binary distribution:
  z3.dll           // Z3 Windows x86 library
  Z3Wrap.dll       // Z3 wrapper library
  dsc.jar          // main Dsc Java classes + third-party Java libraries
  instrument.jar   // Dsc JvmAgent instrumentation class
	
(2) The c:\java\proj\bin directory is the root directory of the Java class files we want to explore. That directory contains the sub-directory "please", which contains a public class "Cover.class", which contains a public static method named "me".

For more information, please visit the Dsc web site at:
  http://ranger.uta.edu/~csallner/dsc/index.html

Happy exploring :)
