Pages

Tuesday, October 30, 2012

JPF Configuration

Screen Shot 2012 10 30 at 5 06 55 PM 
java -jar jpf/jpf-core/build/RunJPF.jar +shell.port=4242 A.jpf -v
http://javapathfinder.sourceforge.net/Configuring_JPF_Runtime_Options.html
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)