BUG: cannot use Event and State simultaneously

ylyang / mipa

Middleware Infrastructure for Predicate detection in Asynchronous environments

GNU General Public License v3.0

0 stars 0 forks source link

BUG: cannot use Event and State simultaneously #18

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

What steps will reproduce the problem?
1. use "state-based system model" and "event-based system model" 
simultaneously, during both the design and the implementation of checker and 
non-checker algorithms.
2.
3.

What is the expected output? What do you see instead?

Please use labels and text to provide additional information.

Original issue reported on code.google.com by csyuhu...@gmail.com on 3 Mar 2010 at 10:03

GoogleCodeExporter commented 9 years ago

Original comment by jpyu.m...@gmail.com on 4 Mar 2010 at 5:25

Added labels: Type-Task, Priority-High
Removed labels: Type-Defect, Priority-Medium

GoogleCodeExporter commented 9 years ago

Original comment by csyuhu...@gmail.com on 10 Mar 2010 at 2:05

Changed title: BUG: cannot use Event and State simultaneously
Added labels: Type-Defect, Priority-Medium
Removed labels: Type-Task, Priority-High