Other actions are omitted during a cleanup phase. (Short form: /c)
[/internalAction:
]*
Action symbols of tester actions that are not shared with the implementation and
are not used for conformance evaluation. Other tester actions are passed to the
implementation stepper. (Short form: /i)
[/waitAction:]*
A name of an action that is used to wait for observable actions in a state where
no controllable actions are enabled. A wait action is controllable and internal and
must take one integer argument that determines the time to wait in milliseconds
during which an observable action is expected.
[/timeoutAction:]*
A name of an action that happens when a wait action has been executed and no
obsevable action occurred within the time limit provided in the wait action. A
timeout action is observable and takes no arguments.
[/timeout:]*
The amount of time in milliseconds within which a tester action must return when
passed to the implementation stepper. Default value: ??™10000??™.
[/continueOnFailure[+|-]]*
Continue testing when a conformance failure occurs. Default value: ??™+??™.
[/logfile:]*
File name where test results are logged. The console is used if no log file is
provided.
314 Command Reference
[/randomSeed:]*
A number used to calculate the starting value for the pseudo-random number
sequence that is used by the global choice controller to select tester actions.
Pages:
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402