[Javapathfinder-devel] (no subject)

[Anwesha D. <ad...@nc...>]

Hi,

   I am using the jpf-core along with jpf-symbc. I need to modify the
source code of jpf-symbc. I am unable to compile jpf-symbc because of
missing packages certain import statements do not work. I have used the
mercurial links available for download for both jpf-core and jpf-symbc(
http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc). Can anyone
please help me fix the issue of jpf-symbc compilation? If jpf-core and
jpf-symbc are incompatible, how do I know the compatible version of
jpf-core for the available jpf-symbc?

Any immediate help would be really helpful.

Thanks and Regards,
Anwesha