 java -Dfile.encoding=Cp1252 -classpath /u/chpkim/bin:C:/eclipse/plugins/org.aspectj.runtime_1.6.12.20110613132200/aspectjrt.jar:/u/chpkim/externalResources/aspectjrt.jar:/u/chpkim/externalResources/javabdd.jar:/u/chpkim/externalResources/jpf-bdd-annotations.jar:/u/chpkim/externalResources/jpf-bdd-classes.jar:/u/chpkim/externalResources/jpf-bdd.jar:/u/chpkim/externalResources/junit-4.6.jar:/u/chpkim/externalResources/RunAnt.jar:/u/chpkim/externalResources/RunJPF.jar:/u/chpkim/externalResources/RunTest.jar:/u/chpkim/externalResources/jpf-annotations.jar:/u/chpkim/externalResources/jpf-classes.jar:/u/chpkim/externalResources/jpf.jar:/u/chpkim/externalResources/guidsl.jar:/u/chpkim/externalResources/jakarta.jar:/u/chpkim/externalResources/org.sat4j.core.jar:/u/chpkim/externalResources/saxon8-dom.jar:/u/chpkim/externalResources/saxon8-xpath.jar:/u/chpkim/externalResources/saxon8.jar tests.MineRUN