USAGE
  java -cp dsc.jar;[USER_CLASSES] -javaagent:instrument.jar edu.uta.cse.dsc.RoopsDsc [PROPERTIES_FILE] [ROOPS_DSC_CLASSES_CP]
EXAMPLE
  java -cp dsc.jar;roops.jar -javaagent:instrument.jar edu.uta.cse.dsc.RoopsDsc roops.core.bv32.linear.noex.gods.LinearWithoutOverflow
  
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 "roops.jar" archive contains the Java class we want to explore, "roops\core\bv32\linear\noex\gods\LinearWithoutOverflow.class".

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

Happy exploring :)
