[Javapathfinder-devel] Junit test failures?

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Hello,

	thanks for making this project open source.

a) The run-tests target appears to return failures for some tests (see
details hereunder).
b) I had to skip "TestAssertJPF" because it would not return its results
after 15 minutes.

OS is Windows NT 2000 SP4, JVM is SUN JDK 1.5.0.2, src is latest from HEA=
D

Is this expected or should all the unit tests pass ?

Regards,

Jean-Fran=E7ois Halleux

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 test2DArr=
ay
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray
test2DStringArra
y
    [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 testIntAr=
ray
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestArray
testStringArray
    [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 4,126 sec

    [junit] Running gov.nasa.jpf.jvm.TestCastJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestCast testCast
testCast
Fail
    [junit] Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 1,802 sec

    [junit] Running gov.nasa.jpf.jvm.TestExceptionJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestException testN=
PE
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestException
testNPECall
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestException
testArrayInd
exOutOfBoundsLow
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestException
testArrayInd
exOutOfBoundsHigh
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestException
testLocalHan
dler
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestException
testCallerHa
ndler
    [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 4,106 sec

    [junit] Running gov.nasa.jpf.jvm.TestFieldJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestField
testReadInstance

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestField
testReadStatic
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestField
testWriteInstanc
e
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestField
testWriteStatic
    [junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 3,105 sec

    [junit] Running gov.nasa.jpf.jvm.TestJavaLangClassJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestJavaLangClass
testClas
sField
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestJavaLangClass
testClas
sForName
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestJavaLangClass
testGetC
lass
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestJavaLangClass
testIden
tity
    [junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 2,995 sec

    [junit] Running gov.nasa.jpf.jvm.TestMethodJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestMethod testCtor
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestMethod testCall
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestMethod
testInheritedCa
ll
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestMethod
testVirtualCall

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestMethod
testSpecialCall

    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestMethod
testStaticCall
    [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 4,136 sec

    [junit] Running gov.nasa.jpf.jvm.TestNativePeerJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testClInit
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testNativeC
reate2DimIntArray
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testNativeC
reateIntArray
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testNativeC
reateStringArray
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testNativeE
xception
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testNativeC
rash
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testInit
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testNativeI
nstanceMethod
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestNativePeer
testNativeS
taticMethod
    [junit] Tests run: 9, Failures: 0, Errors: 0, Time elapsed: 4,967 sec

    [junit] Running gov.nasa.jpf.jvm.TestThreadJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestThread testDaem=
on
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestThread testMain
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestThread testName
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestThread
testPriority
    [junit] Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 3,304 sec

    [junit] Running gov.nasa.jpf.jvm.TestWaitJPF
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestWait
testSimpleWait
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestWait
testLoopedWait
    [junit]   running jpf with args: gov.nasa.jpf.jvm.TestWait
testInterruptedWa
it
    [junit] Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 2,964 sec

    [junit] Running gov.nasa.jpf.mc.TestCrossingJPF
    [junit]   running jpf with args: gov.nasa.jpf.mc.Crossing
    [junit]   running jpf with args:
+search.class=3Dgov.nasa.jpf.search.heuristic
.HeuristicSearch
+search.heuristic.class=3Dgov.nasa.jpf.search.heuristic.BFSHeuris
tic gov.nasa.jpf.mc.Crossing
    [junit] Tests run: 2, Failures: 1, Errors: 1, Time elapsed: 3,875 sec

    [junit] TEST gov.nasa.jpf.mc.TestCrossingJPF FAILED
    [junit] Running gov.nasa.jpf.mc.TestRandomJPF
    [junit]   running jpf with args: gov.nasa.jpf.mc.TestRandom testRando=
m 3
    [junit]   running jpf with args:
+search.class=3Dgov.nasa.jpf.search.heuristic
.HeuristicSearch
+search.heuristic.class=3Dgov.nasa.jpf.search.heuristic.BFSHeuris
tic gov.nasa.jpf.mc.TestRandom
    [junit] Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 2,213 sec

    [junit] Running gov.nasa.jpf.mc.TestVMDeadlockJPF
    [junit]   running jpf with args: gov.nasa.jpf.mc.TestVMDeadlock
testSyncMthD
eadlock
    [junit]   running jpf with args: gov.nasa.jpf.mc.TestVMDeadlock
testSyncBloc
kDeadlock
    [junit]   running jpf with args: gov.nasa.jpf.mc.TestVMDeadlock
testMixedDea
dlock
    [junit]   running jpf with args: gov.nasa.jpf.mc.TestVMDeadlock
testMissedSi
gnalDeadlock
    [junit] Tests run: 4, Failures: 4, Errors: 0, Time elapsed: 3,485 sec

    [junit] TEST gov.nasa.jpf.mc.TestVMDeadlockJPF FAILED