Using JavaPathFinder in Netbeans

Question

I am trying to run Java Pathfinder (JPF) in Netbeans environment, so I can do the testing. On the JPF website, it provides a link to the netbeans website on how to do this, but of course this document no longer exists.

Does anyone know how to do this or can you point me in the right direction?

Answer 1

Hmm, it seems that not many people use JPF ... Or at least they don't use JPF and Netbeans.

There is a page on the NASA website to instruct you (just make sure you download the latest version).

So that you do not need to click the link, I have included the following instructions:

• jpf-core, . Mercurial repository
• [] jpf-shell, JPF Swing
• -------------- ---------------
• gov-nasa-jpf-netbeans-runjpf.nbm, .
• Netbeans Tools- > Plugins (Alt + T, Alt + g)
• "".
• " ..." (Alt + A)
• gov-nasa-jpf-netbeans-runjpf.nbm, 1
• Netbeans

. , .