(If a testSuite is provided, this option is ignored.)
/reference:
+
Referenced assemblies. (Short form: /r)
[/coverage:]*
Coverage point names used by model stepper. (If a testSuite is provided, this
option is ignored.)
[/steps:]*
The desired number of steps that a single test run should have. After the number
is reached, only cleanup tester actions are used and the test run continues until an
Appendices 313
accepting state is reached or the number of steps is MaxSteps (whichever occurs
first). 0 implies no bound and a test case is executed until either a conformance
failure occurs or no more actions are enabled. (If a testSuite is provided, this
value is set to 0.) Default value: ??™0??™.
[/maxSteps:]*
The maximum number of steps that a single test run can have. This value must
be either 0, which means that there is no bound, or greater than or equal to steps.
Default value: ??™0??™.
[/runs:]*
The desired number of test runs. Testing stops when this number has been reached.
Negative value or 0 implies no bound. (If a testSuite is provided, this value is
set to the number of test cases in the test suite.) Default value: ??™0??™.
[/observableAction:]*
Action symbols of actions controlled by the implementation. Other actions are
controlled by the tester. (Short form: /o)
[/cleanupAction:]*
Action symbols of actions that are used to end a test run during a cleanup phase.
Pages:
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401