# "response file" with mpv arguments for contract model program as in fig. 7.1

# Referenced assembly

/r:ClientServer.dll

# Factory method

ClientServer.Factory.Create

# Show dead states

/livenessCheckIsOn+