# response file for mpv arguments for safety analysis as in fig. 6.9

#
# Referenced assemblies
#
/r:Reactive.dll

#
# use /mp switch not factory method
#
/mp:Reactive

#
# Viewer settings
#
/maxTransitions:300
/stateShape:Circle
/combineActions+
/safetyCheckIsOn+