You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Java™ Pathfinder
Many thanks to JPF tool and its contributors! During my usage of JPF, I found that PreciseRaceDetector raises false alarms sometimes. I give an example and some detailed analysis in a github issue (PreciseRaceDetector raises false alarms in case of array fields). Can anyone help me double check that? Thanks.
Cyrille Artho
unread,
Mar 25, 2023, 12:56:42 PM3/25/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Java™ Pathfinder
Thanks, this really looks like a bug. You also provided a very thorough analysis. Have you tested your patch with a version of your example that still has a data race (see my comment to the issue)?
Eliot
unread,
Mar 26, 2023, 12:04:26 AM3/26/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Java™ Pathfinder
Thanks for your suggestions! I did forget to show the true positive case.