| Issue 14: | BUG: Guarantee the "Linear-Extension-FIFO" on the checker | |
| 1 person starred this issue and may be notified of changes. | Back to list |
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.
Mar 9, 2010
Project Member
#1
csyuhu...@gmail.com
Summary:
BUG: Guarantee the "Linear-Extension-FIFO" on the checker
|