71 |
Verify.addComment annotations not displayed by publisher |
None |
open |
|
2009-09-25
|
2009-09-25
|
5 |
|
70 |
Class.cast() method throws an exception when casting array |
None |
open |
|
2009-09-16
|
2017-09-02
|
5 |
|
69 |
Field.set() throws an exception when setting a static long |
None |
open |
|
2009-09-16
|
2017-10-01
|
5 |
|
68 |
java.lang.reflect.Field.getBoolean OutOfBoundException |
None |
open |
|
2009-09-11
|
2009-09-11
|
5 |
|
66 |
Fixed-size output buffer makes OutputStreamWriter crash |
None |
open |
|
2009-06-19
|
2009-06-19
|
5 |
|
65 |
NullPointerException in INVOKESTATIC.java |
None |
open |
|
2009-05-28
|
2009-05-28
|
5 |
|
64 |
native peer of Thread.getState0 is not defined static |
None |
open |
|
2009-05-19
|
2009-05-19
|
5 |
|
63 |
Object.clone bug for double/long arrays |
None |
open |
|
2009-04-29
|
2009-04-29
|
5 |
|
62 |
ArrayStoreInstruction type check error |
None |
open |
|
2009-04-29
|
2009-04-29
|
5 |
|
61 |
accepting states are wrong |
None |
open |
|
2009-03-12
|
2009-03-12
|
5 |
|
60 |
Output to HTML |
None |
open |
|
2009-02-11
|
2009-02-11
|
5 |
|
59 |
Format Trace Output to be More Readable |
None |
open |
|
2009-02-11
|
2009-02-11
|
5 |
|
58 |
Format Trace to be Clickable |
None |
open |
|
2009-02-11
|
2009-02-11
|
5 |
|
57 |
ArrayOutOfBoundsException in Config.java |
None |
open |
|
2008-12-05
|
2008-12-05
|
5 |
|
56 |
javapathfinder-src-libs-1.0-7-oct-05 test failed |
None |
open |
|
2008-12-04
|
2008-12-04
|
5 |
|
55 |
NullPointerException |
None |
open |
|
2008-02-08
|
2008-02-08
|
5 |
|
54 |
ArrayIndexOutOfBoundsException |
None |
open |
|
2008-01-30
|
2008-01-30
|
5 |
|
53 |
bad inheritancce: FCMPG extends FCMPL |
None |
open |
|
2008-01-03
|
2008-01-03
|
5 |
|
52 |
Config.append doesn't update the Config object |
None |
open |
|
2007-12-31
|
2007-12-31
|
5 |
|
51 |
JPF v4: Assertion failure for simple cyclic deadlock |
None |
open |
|
2007-05-29
|
2007-05-29
|
5 |
|
50 |
Question - Sleep() and extend Thread |
None |
open |
|
2007-04-02
|
2007-04-02
|
5 |
|
49 |
stateBacktracked() not caled after Verify.ignoreIf() |
None |
open |
|
2007-03-17
|
2007-03-17
|
5 |
|
48 |
portability failure: /bin scripts depend on bash not sh |
None |
open |
|
2007-02-14
|
2007-02-14
|
5 |
|
47 |
compile and VM compatibility |
None |
open |
|
2006-12-25
|
2006-12-25
|
5 |
|
46 |
[junit] Test gov.nasa.jpf.jvm.TestSemaphoreJPF FAILED |
None |
open |
|
2006-12-19
|
2006-12-19
|
5 |
|