Re: [Javapathfinder-devel] NotDeadlockedProperty

[Peter C. M. <Pet...@na...>]

lots of - TestVMDeadlock for instance

-- Peter



On Oct 2, 2008, at 1:25 PM, Michal Kebrt wrote:

> Hi,
>
> are there any test programs violating NotDeadlockedProperty in JPF  
> sources?
>
> MK