# response file with ct arguments to execute tests generated offline
# from contract model program

# Test harness assembly

/r:Stepper.dll

# Test harness factory method

/iut:ClientServerImpl.Stepper.Create

# Model program assembly

/r:..\Model\ClientServer.dll

# Model program factory method

ClientServer.Factory.Create

# Scenario FSM

/fsm:..\Model\Scenario.txt

# one run at a time
/runs:1