Error during building and running the test

[Abdullah Abdul Khadir]

$ bin/ant test
Buildfile: /home/abdullah/projects/jpf-core/build.xml

-init:
[mkdir] Created dir: /home/abdullah/projects/jpf-core/build
.......
.......

BUILD FAILED
/home/abdullah/projects/jpf-core/build.xml:301: Test
gov.nasa.jpf.test.java.text.DateFormatTest failed

Total time: 1 minute 28 seconds

I am getting the above error when I try and compile the code. Did it
happen for anyone else? Have I missed something?

Thank You in advance,
Abdullah Abdul Khadir

[Abdullah Abdul Khadir]

Oh! I completely forgot to mention the system that I am using. Well, I
am using Ubuntu 9.10. I downloaded the jpf-core source code from the
repository and was trying to build it when I encountered the above
error.

On Apr 5, 5:53 am, Abdullah Abdul Khadir <abdullah....@gmail.com>
wrote:

[pcmehlitz]

what does build/tests/TEST-
gov.nasa.jpf.test.java.text.DateFormatTest.txt look like?

-- Peter

[Abdullah Abdul Khadir]

On Wed, Apr 7, 2010 at 5:04 AM, pcmehlitz <pcme...@gmail.com> wrote:
> what does build/tests/TEST-
> gov.nasa.jpf.test.java.text.DateFormatTest.txt look like?

Hi,
I did have a look at the file yesterday (before you sent this
mail). The error I observed was "java.lang.IllegalArgumentException:
self-causation..." but I did not understand what that meant. The
complete contents of the file are given below,

Testsuite: gov.nasa.jpf.test.java.text.DateFormatTest
Tests run: 1, Failures: 1, Errors: 0, Time elapsed: 1.64 sec
------------- Standard Output ---------------
running jpf with args: gov.nasa.jpf.test.java.text.DateFormatTest
testConversionCycle
JavaPathfinder v5.x - (C) RIACS/NASA Ames Research Center

====================================================== system under test
application: gov/nasa/jpf/test/java/text/DateFormatTest.java
arguments: testConversionCycle

====================================================== search started:
7/4/10 12:44 AM

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.IllegalArgumentException: self-causation not permitted
at java.lang.Throwable.initCause(Throwable.java:105)
at java.net.URL.<init>(URL.java:618)
at java.net.URL.<init>(URL.java:480)
at java.net.URL.<init>(URL.java:429)
at java.lang.ClassLoader.getResource(ClassLoader.java:57)
at java.lang.ClassLoader.getResources0(ClassLoader.java:72)
at java.lang.ClassLoader.getResources(ClassLoader.java:65)
at java.util.ServiceLoader$LazyIterator.hasNext(ServiceLoader.java:340)
at java.util.ServiceLoader$1.hasNext(ServiceLoader.java:432)
at sun.util.LocaleServiceProviderPool$1.run(LocaleServiceProviderPool.java:118)
at java.security.AccessController.doPrivileged(AccessController.java:62)
at sun.util.LocaleServiceProviderPool.<init>(LocaleServiceProviderPool.java:116)
at sun.util.LocaleServiceProviderPool.getPool(LocaleServiceProviderPool.java:98)
at java.text.DateFormat.get(DateFormat.java:710)
at java.text.DateFormat.getDateTimeInstance(DateFormat.java:524)
at gov.nasa.jpf.test.java.text.DateFormatTest.testConversionCycle(DateFormatTest.java:18)
at gov.nasa.jpf.test.java.text.DateFormatTest.main(DateFormatTest.java:12)

====================================================== snapshot #1
no live threads

====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
"java.lang.IllegalArgumentException: self-causation..."

====================================================== statistics
elapsed time: 0:00:01
states: new=0, visited=1, backtracked=0, end=0
search: maxDepth=0, constraints=0
choice generators: thread=1, data=0
heap: gc=0, new=808, free=0
instructions: 13692
max memory: 9MB
loaded code: classes=134, methods=1963

====================================================== search
finished: 7/4/10 12:44 AM
------------- ---------------- ---------------

Testcase: testConversionCycle took 1.615 sec
FAILED
JPF found unexpected errors: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
junit.framework.AssertionFailedError: JPF found unexpected errors:
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
at gov.nasa.jpf.util.test.JPFTestRun.noPropertyViolation(JPFTestRun.java:131)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:342)
at gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:350)
at gov.nasa.jpf.test.java.text.DateFormatTest.testConversionCycle(DateFormatTest.java:17)

>
> -- Peter
>
>
> --
> To unsubscribe, reply using "remove me" as the subject.
>

--
Regards,

Abdullah Abdul Khadir

[Abdullah Abdul Khadir]

Hi,
Though I obtained the above error while building the software, I
was able to execute the programs using bin/jpf from the downloaded
source code. I have also downloaded the binaries/snapshots of jpf-core
and installed them on my system without much effort. My experiences so
far have been documented in my blog at http://linuxandlisp.com/blog/category/jpf/.
Do have a look. So far, I have focused only on getting things going
from the command line. I had issues with all methods initially but
resolving my issues with the command line was the easiest and I have
not yet faced the problems that I had with eclipse or netbeans.
However, I will return to getting things going from my favourite Java
IDE, eclipse later when I have the time.