[Javapathfinder-user] testing of jpf failed

[zuo j. <zu...@pk...>]

Hi,

   I=A1=AFm new to JPF. And when I try to build JPF by typing =A1=B0ant =
run-tests=A1=B1
something wrong would happen. My OS is Windows2000.

   In console environment, nothing would appear under =
=A1=B0run-tests=A1=B1 target,
just looking like this:

=A1=AD

compile-env-jvm:

                [javac] Compiling 22 source files to
D:\UTILIT~1\jpf\build\env\jvm

=20

compile-env-jpf:

             [javac] Compiling 10 source files to
D:\UTILIT~1\jpf\build\env\jpf

=20

compile:

=20

compile-tests:

               [javac] Compiling 35 source files to
D:\UTILIT~1\jpf\build\test

=20

run-tests:

=20

BUILD SUCCESSFUL

Total time: 13 seconds

=20

  However, when I turn to cygwin environment, testing can happen under
=A1=B0run-tests=A1=B1, but all of the test items failed. Look at the =
excerpt below:

         run-tests:

     [echo] --- running Junit tests from build/test..

    [junit] Running gov.nasa.jpf.jvm.TestArrayJPF

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray =
test2DArray

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray
test2DStringArray

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray testAoBX

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray
testCharArray

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray =
testIntArray

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray
testStringArray

    [junit] Tests run: 6, Failures: 6, Errors: 0, Time elapsed: 0.703 =
sec

    [junit] TEST gov.nasa.jpf.jvm.TestArrayJPF FAILED

    [junit] Running gov.nasa.jpf.jvm.TestAssertJPF

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestAssert =
testAssert

    [junit]   running jpf with args: +vm.enable_assertions=3D
gov.nasa.jpf.jvm.TestAssert testAssert

[junit] Tests run: 2, Failures: 2, Errors: 0, Time elapsed: 0.375 sec

[junit] TEST gov.nasa.jpf.jvm.TestAssertJPF FAILED

=A1=AD

=20

I am using java1.4.1. And the environment variable is:

CLASSPATH =3D ./build-tools/lib/ant.jar : ./build-tools/lib/junit.jar :
./lib/bcel.jar : ./lib/fast-MD5.jar : ./lib/xercesImpl.jar : =
./lib/xml-apis.
jar

=20

Although the jpf has been compiled, it cannot work properly. When I type
=A1=B0bin/jpf =A8Cshow=A1=B1 it can show dictionary correctly. For =
example:=20

$ bin/jpf -show

=A1=AD

vm.bootclasspath =3D bin/../build/env/jpf

vm.check_fp =3D false

vm.check_fp_compare =3D true

vm.class =3D gov.nasa.jpf.jvm.JVM

vm.classpath =3D build/examples

=A1=AD

=20

But when I type =A1=B0bin/jpf HelloWorld=A1=B1 something wrong happened:

$ bin/jpf HelloWorld

java.lang.NoSuchMethodError:
org.apache.bcel.classfile.JavaClass.setRepository(Lorg/apache/bcel/util/R=
epo
sitory;)V

        at
org.apache.bcel.util.SyntheticRepository.storeClass(SyntheticRepository.j=
ava
:82)

        at
org.apache.bcel.util.SyntheticRepository.loadClass(SyntheticRepository.ja=
va:
172)

        at
org.apache.bcel.util.SyntheticRepository.loadClass(SyntheticRepository.ja=
va:
126)

        at gov.nasa.jpf.jvm.ClassInfo.getClassInfo(ClassInfo.java:339)

        at gov.nasa.jpf.jvm.JVM.loadStartupClasses(JVM.java:1368)

        at gov.nasa.jpf.jvm.JVM.initialize(JVM.java:285)

        at gov.nasa.jpf.JPF.run(JPF.java:307)

        at gov.nasa.jpf.JPF.main(JPF.java:238)

=20

The error appeared in both cygwin environment and console environment. I
cannot figure out what=A1=AFs the reason. So can anybody help me? Many =
thanks!

=20

J.H. Zuo