projects
/
jpf-core.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Adding the first implementation of visible operation dependency graph for stateful...
[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