My favorites | Sign in
Project Home Downloads Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
  Advanced search   Search tips   Subscriptions
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
Status:  Accepted
Owner:  csyuhu...@gmail.com


 
Project Member Reported by csyuhu...@gmail.com, Feb 4, 2010
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
(No comment was entered for this change.)
Summary: BUG: Guarantee the "Linear-Extension-FIFO" on the checker

Powered by Google Project Hosting