Major It is hard to finish a fantastic debug tool, especially in such a short time. But at least, i will finsih state logic check part for this tool. For example, if there is a dead loop in the state transition diagram, this tool will give user some tips and warnings.
