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

No comments:

Post a Comment