bin/test.bat

   1 REM
   2 REM overly simplified batch file to start JPF tests from a command prompt
   3 REM
   4
   5 @echo off
   6
   7 REM Set the JPF_HOME directory
   8 set JPF_HOME=%~dp0..
   9
  10 set JVM_FLAGS=-Xmx1024m -ea
  11
  12 java %JVM_FLAGS% -jar "%JPF_HOME%\build\RunTest.jar" %*
  13