projects / jpf-core.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Calendar peer bug demonstration (#181)
[jpf-core.git] / bin / print_class.bat
1
2 @echo off
3
4 REM Set the JPF_HOME directory
5 set JPF_HOME=%~dp0..
6
7 java -classpath "%JPF_HOME%\build\jpf.jar" gov.nasa.jpf.classfile.ClassFilePrinter %*
8
Unnamed repository; edit this file 'description' to name the repository.