What steps will reproduce the problem?
1. A local state arrives at the checker
2. This local state triggers iterative checking in the CGS-Buffer, in order
to generate CGSs.
What is the expected output? What do you see instead?
A: The linear extension should be in accordance with the sequence in which
the local states arrives at the checker. Currently, we can still obtain a
legal linear extension. However, the sequence is not in accordance with the
sequence in which the local states arrive.
Please use labels and text to provide additional information.
Original issue reported on code.google.com by csyuhu...@gmail.com on 5 Feb 2010 at 2:55
Original issue reported on code.google.com by
csyuhu...@gmail.com
on 5 Feb 2010 at 2:55