search

ylyang / mipa

Middleware Infrastructure for Predicate detection in Asynchronous environments
GNU General Public License v3.0
0 stars 0 forks source link

BUG: Guarantee the "Linear-Extension-FIFO" on the checker #14

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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

GoogleCodeExporter commented 9 years ago

Original comment by csyuhu...@gmail.com on 10 Mar 2010 at 1:58