How to setup JPF & DiSE

  1. In Eclipse, import project from mercurial repository http://babelfish.arc.nasa.gov/hg/jpf/jpf-core
  2. Import project from mercurial repository https://bitbucket.org/neharungta/jpf-symbc: (need login and password)
  3. Import project from mercurial repository http://babelfish.arc.nasa.gov/hg/jpf/jpf-guided-test
  4. Import jpf-porting project from mercurial repository https://bitbucket.org/neharungta/jpf-porting (need login and password)
  5. Install eclipse plugin according to http://babelfish.arc.nasa.gov/trac/jpf/wiki/install/eclipse-plugin
  6. Create site.properties file at /home/<user>/.jpf directory.