App Test Robot (TBot): Reach
version 1.0.0
A TRG that reaches a state that has been visited before
One argument is required, the destination state index.
Can be invoked with return value: 'callAlgorithm', 'Reach', k
k is the destination state index in this test session.
Return value is 'failure!' if the destination state cannot be visited
and 'success!' otherwise.
[
{ type:'int', description:'destination state index' }
]
[
{ type:'dict', description:'floating numbers for coverages' }
]
| reviewers | score | date | comments |
|---|