1.2 Examples
mpv @mpv_args.txt
mpv /fsm:M1.txt /fsm:M2.txt
mpv /testSuite:ContractTest.txt
mpv /r:NewsReaderUI.dll NewsReader.Factory.Create
mpv /r:Controller.dll Reactive.Factory.Create /safetyCheckIsOn+
308
Appendices 309
B.1.3 Options
/?, /help
Displays usage information and exits.
[/reference:
]*
Referenced assemblies. (Short form: /r)
[/initialTransitions:]*
Number of transitions that are explored initially up to maxTransitions. Negative
value implies no bound. Default value: ??™-1??™.
[/transitionLabels:None|ActionSymbol|Action]*
Determines what is shown as a transition label. Default value: ??™Action??™.
[/nodeLabelsVisible[+|-]]*
Visibility of node labels. Default value: ??™+??™.
[/initialStateColor:]*
Background color of the initial state. Default value: ??™LightGray??™.
[/hoverColor:]*
Line and action label color to use when edges or nodes are hovered over. Default
value: ??™Lime??™.
[/selectionColor:]*
Background color to use when a node is selected. Default value: ??™Blue??™.
[/deadStateColor:]*
Background color of dead states. Dead states are states from which no accepting
state is reachable. Default value: ??™Yellow??™.
[/deadStatesVisible[+|-]]*
Visibility of dead states. Default value: ??™+??™.
[/unsafeStateColor:]*
Background color of states that violate a safety condition (state invariant).
Pages:
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397