Can't compile jpf-symbc extension togheter with lastest jpf-core

[Pablo Ponzio]

Hi,

I'm trying to compile the jpf-symbc module with the lastest version of
jpf-core downloaded from the mercurial repository and I'm getting many
errors:

pablo@phoenix:~/soft/jpf/jpf-symbc$ bin/ant test
Buildfile: /home/pablo/soft/jpf/jpf-symbc/build.xml

-init:

-compile-annotations:

-compile-main:
[javac] Compiling 243 source files to
/home/pablo/soft/jpf/jpf-symbc/build/main
[javac] /home/pablo/soft/jpf/jpf-symbc/src/main/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java:24:
cannot find symbol
[javac] symbol : class DefaultInstructionFactory
[javac] location: package gov.nasa.jpf.jvm
[javac] import gov.nasa.jpf.jvm.DefaultInstructionFactory;
[javac] ^
[javac] /home/pablo/soft/jpf/jpf-symbc/src/main/gov/nasa/jpf/symbc/SymbolicInstructionFactory.java:37:
cannot find symbol
[javac] symbol: class DefaultInstructionFactory
[javac] public class SymbolicInstructionFactory extends
DefaultInstructionFactory {
[javac] ^
[javac] /home/pablo/soft/jpf/jpf-symbc/src/main/gov/nasa/jpf/symbc/bytecode/

[...]

[javac] Note: Some input files use unchecked or unsafe operations.
[javac] Note: Recompile with -Xlint:unchecked for details.
[javac] 100 errors
[javac] 4 warnings

BUILD FAILED
/home/pablo/soft/jpf/jpf-symbc/build.xml:120: Compile failed; see the
compiler error output for details.

Total time: 5 seconds

It looks to me that the problem is that some classes (for example
DefaultInstructionFactory) doesn't exist anymore in the lastest
version of jpf-core. Am I doing something wrong or these errors are
due to an incompatibilty with the lastest core?

Thanks in advance,
Pablo.

[Neha Rungta]

Hi Pablo,

The current symbc is not yet synchronized with the latest changes in jpf-core.  To get symbc to work please use a slightly older revision of jpf-core. The revision of core that works with symbc is 437 .


Neha

--
-------------------------------------------------
Neha Rungta, Ph.D
SGT/NASA Ames Research Center
http://ti.arc.nasa.gov/profile/nrungta/
--------------------------------------------------

[Corina Pasareanu]

Hi Pablo:

I am maintaining jpf-symbc and I am working on synchronizing it with the latest version. It should be done next week.

thanks

Corina