JavaPathFinder Bugs

Status: Beta

Brought to you by: artimid, johnpenix, masoud_mansouri, pcdillinger, and 3 others

Bugs Maximize Restore

# Sort A -> Z Sort Z -> A	Summary▾ Sort A -> Z Sort Z -> A	Milestone▾ Sort A -> Z Sort Z -> A Filter by Milestone	Status▾ Sort A -> Z Sort Z -> A Filter by Status	Owner▾ Sort A -> Z Sort Z -> A Filter by Owner	Created▾ Sort A -> Z Sort Z -> A	Updated▾ Sort A -> Z Sort Z -> A	Priority▾ Sort A -> Z Sort Z -> A
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

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority

(applies to this page only)

1 2 > >> (Page 1 of 2)