Task #3

Refine State Machine for JMseq Verification

Added by Behrooz Nobakht about 7 years ago. Updated about 7 years ago.

Status:Resolved Start date:09/24/2011
Priority:Normal Due date:10/03/2011
Assignee:Behrooz Nobakht % Done:

0%

Category:- Spent time: 5.00 hours
Target version:-

Description

We need to optimize/refine the state machine used for call sequences for JMSeq.

History

Updated by Behrooz Nobakht about 7 years ago

33ee1a6e includes a first version of this task. I'll continue to improve and optimize for better performance.

Updated by Behrooz Nobakht about 7 years ago

  • Status changed from New to In Progress

Updated by Behrooz Nobakht about 7 years ago

  • Status changed from In Progress to Resolved

Also available in: Atom PDF