Menu

#4 Endless loop on Invariant analysis

closed
None
5
2007-01-16
2006-05-08
Anonymous
No

PIPE stucks when analizing a simple PN. After a small
reverse engeneering I found a piece of code in
InvariantAnalysis.java:588

"while (!(isEmptySet(chj))){ // chj empty only when
there is just one nonzero element in the whole row,
this should not happen as this case is eliminated in
the first step, so we would never arrive at this
while() with just one nonzero element"

but the condition above fails, and this causes an
endless loop.

Discussion

  • Tim Kimber

    Tim Kimber - 2007-01-14
    • assigned_to: nobody --> tk106
     
  • Tim Kimber

    Tim Kimber - 2007-01-16
    • status: open --> closed
     

Log in to post a comment.

Auth0 Logo