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
45	NullPointerException in the Interleaving heuristic	None	open		2006-12-13	2006-12-13	5
44	JPF throws NullPointerException	None	open		2006-12-08	2006-12-08	5
43	NullPointerException	None	open		2006-10-11	2006-10-11	6
41	Monitor.lockedThreads<->ThreadData.status inconsistency	None	open		2006-09-08	2006-09-08	5
38	Using JPF without POR - NullPointerException	None	open		2006-08-21	2014-08-23	5
37	missing instrumentPoint in Verify class def	None	open		2006-08-03	2006-08-03	5
36	Forgot to add search listeners in Search constructor	None	open		2006-07-26	2006-07-26	5
32	Thread is not interrupted	None	open		2006-07-17	2006-07-17	5
31	compile errors in build process	None	open		2006-06-21	2006-06-21	5
30	IdleFilter back-edge missing IFs	None	open	pcm	2006-03-10	2006-03-10	5
28	missing setAnnotation in Verify class def	None	open	John Penix	2006-02-21	2006-02-21	5
24	NaN comparison is handled incorrectly	None	open-fixed	pcm	2005-10-20	2005-10-31	5
21	negative search depth for search.depth_limit	None	open	pcm	2005-08-26	2005-08-26	5
19	timeout wait triggers deadlock	None	open	pcm	2005-07-27	2005-07-27	5
11	ClassLoader support	None	open		2005-05-05	2005-05-05	5

Ticket Number
Summary
Milestone
Status
Owner
Creator
Created
Updated
Labels
Priority

(applies to this page only)

<< < 1 2 (Page 2 of 2)