Find Flow algorithm only on chosen instances

Status: Beta

Brought to you by: gotthardp, lkorenciak, madzin, obouda, and 2 others

#34 Find Flow algorithm only on chosen instances

Status: open

Owner: nobody

Labels: Verification Algorithms (8)

Priority: 3

Updated: 2012-07-17

Created: 2011-08-11

Private: No

Extend Find Flow algorithm to be able choose instances for the checking. Checking: message ordering and time constraints on chosen instances.

Matus Madzin - 2011-08-11

priority: 5 --> 7
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Vojtech Rehak - 2012-07-10

milestone: 813599 -->
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Matus Madzin - 2012-07-17

The Find Flow function is able to check behaviour on selected instances without time constraints checking.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Matus Madzin - 2012-07-17

priority: 7 --> 3
If you would like to refer to this comment somewhere else in this project, copy and paste the following link: