-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
On Apr 5, 5:53 am, Abdullah Abdul Khadir <abdullah....@gmail.com>
wrote:
-- Peter
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