Menu
▾
▴
RE: [Javapathfinder-devel] Junit test failures?
|
From: Willem V. <wv...@em...> - 2005-04-27 20:53:45
|
Hi, Just checkout and ran from here and all tests pass. However I'm pretty sure the problem is JDK 1.5, I'm using 1.4. Unfortunately we didn't test with 1.5, and there are small VM changes in 1.5 (not to mention changes in the libraries) that some of our tests must be running into. Thanks for pointing this problem out to us - we'll fix it soon. I suggest using 1.4 for use with JPF in the interim. Bye, Willem=20 -- Willem C. Visser Automated Software Engineering Group RIACS/NASA Ames Research Center wv...@em... M/S 269-2 http://ase.arc.nasa.gov Moffett Field, CA 94035 (650)604-3515 fax 4036 rm 235 > -----Original Message----- > From: jav...@li... > [mailto:jav...@li...] On Behalf Of > Jean-Francois Halleux > Sent: Wednesday, April 27, 2005 1:36 PM > To: jav...@li... > Subject: [Javapathfinder-devel] Junit test failures? >=20 > Hello, >=20 > thanks for making this project open source. >=20 > 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. >=20 > OS is Windows NT 2000 SP4, JVM is SUN JDK 1.5.0.2, src is latest from HEAD >=20 > Is this expected or should all the unit tests pass ? >=20 > Regards, >=20 > Jean-Fran=E7ois Halleux >=20 >=20 > 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 > 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 > testIntArray > [junit] running jpf with args: gov.nasa.jpf.jvm.TestArray > testStringArray > [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 4,126 sec >=20 >=20 > [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 >=20 >=20 > [junit] Running gov.nasa.jpf.jvm.TestExceptionJPF > [junit] running jpf with args: gov.nasa.jpf.jvm.TestException > testNPE > [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 >=20 >=20 > [junit] Running gov.nasa.jpf.jvm.TestFieldJPF > [junit] running jpf with args: gov.nasa.jpf.jvm.TestField > testReadInstance >=20 > [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 >=20 >=20 > [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 >=20 >=20 > [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 >=20 > [junit] running jpf with args: gov.nasa.jpf.jvm.TestMethod > testSpecialCall >=20 > [junit] running jpf with args: gov.nasa.jpf.jvm.TestMethod > testStaticCall > [junit] Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 4,136 sec >=20 >=20 > [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 >=20 >=20 > [junit] Running gov.nasa.jpf.jvm.TestThreadJPF > [junit] running jpf with args: gov.nasa.jpf.jvm.TestThread > testDaemon > [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 >=20 >=20 > [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 >=20 >=20 > [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 >=20 >=20 > [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 testRandom > 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 >=20 >=20 > [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 >=20 >=20 > [junit] TEST gov.nasa.jpf.mc.TestVMDeadlockJPF FAILED >=20 >=20 >=20 > ------------------------------------------------------- > SF.Net email is sponsored by: Tell us your software development plans! > Take this survey and enter to win a one-year sub to SourceForge.net > Plus IDC's 2005 look-ahead and a copy of this survey > Click here to start! http://www.idcswdc.com/cgi-bin/survey?id=105hix > _______________________________________________ > Javapathfinder-devel mailing list > Jav...@li... > https://lists.sourceforge.net/lists/listinfo/javapathfinder-devel |
