Issue 18: BUG: cannot use Event and State simultaneously
Status:  Accepted
Owner:
Project Member Reported by csyuhu...@gmail.com, Mar 3, 2010
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.


Mar 3, 2010
#1 jpyu.m...@gmail.com
(No comment was entered for this change.)
Labels: -Type-Defect -Priority-Medium Type-Task Priority-High
Mar 9, 2010
Project Member #2 csyuhu...@gmail.com
(No comment was entered for this change.)
Summary: BUG: cannot use Event and State simultaneously
Labels: -Type-Task -Priority-High Type-Defect Priority-Medium