[Jmlspecs-developers] Failures on linux only in jmlrac testing

[Gary T. L. <le...@cs...>]

Hi folks,

This morning I updated and ran the MJ and JML tests on Windows and
Linux.  The Windows tests seem to work fine.  But on Linux, under
J2SDK 1.4.2, I get:

BEGINNING jmlrac
DIRECTORY /home/bambam/leavens/JML2/org/jmlspecs/jmlrac/testcase/racrun
javac TestSuite.java
.........................................
.........................................
............F.............................
.........................................
.........................................
.........................................
.........................................
.........................................
..............................
Time: 572.692
There was 1 failure:
1) ModelMethod2.java(org.multijava.util.testing.TestFilesCompileAllRunEachTestSuite$RunTestCase)junit.framework.AssertionFailedError: 3F(ModelMethod2.java)

	at org.multijava.util.testing.TestFilesCompileAllRunEachTestSuite$RunTestCase.runTest(TestFilesCompileAllRunEachTestSuite.java:203)

FAILURES!!!
Tests run: 358,  Failures: 1,  Errors: 0

make[7]: [runtests-this-junit] Error 1 (ignored)


I'm not sure how serious this is.

-- 

        Gary T. Leavens
        Department of Computer Science, Iowa State University
        229 Atanasoff Hall, Ames, Iowa 50011-1041 USA
        http://www.cs.iastate.edu/~leavens  phone: +1-515-294-1580