# response file for mpv arguments for liveness analysis as in figure 6.12

#
# Referenced assemblies
#
/r:Reactive.dll

#
# Factory method of the model program that is being viewed
#
Reactive.Factory.Create

#
# Viewer settings
#
/maxTransitions:300
/stateShape:Circle
/combineActions+
/acceptingStatesMarked+
/livenessCheckIsOn+
