# response file with mpv arguments to display test suite
# generated by otg from contract model program, as in fig. 8.1

# Test suite

/testSuite:ContractTest.txt