Re: [Javapathfinder-devel] Re: infinite POR loop

[Peter C. M. <pcm...@em...>]

> But after one step it will see it has been in the state before and
> backtrack and try the other threads???

why? It will only match if the stacks are the same, but they aren't 
(locals are changing, pc is different). We could work around the pc by 
only breaking on, say GOTOs, but I don't see a solution for the locals 
issue

-- Peter