contractsEchidnaSetupOn this pageEchidnaSetupEchidnaSetup hevm contract IHevm hevm ousd contract OUSDEchidna ousd constructor constructor() public Deploy the OUSD contract and set up initial state