Instead of "manually" hardcoding the deployment process in the DEPLOY-PRELUDE, here we add constructors and call them in the same way that DssDeploy is called.
Add constructor for all contracts, mimicking what the contracts constructor does.
Add file for contracts missing it.
Add deployment logic to kmcd.md, use this deployment logic for DEPLOY-PRELUDE.
Add tests tests/fixes/{deploy,attack}Prelude.mcd which just test the post-state after running these preludes.
Instead of "manually" hardcoding the deployment process in the DEPLOY-PRELUDE, here we add constructors and call them in the same way that DssDeploy is called.
constructorfor all contracts, mimicking what the contracts constructor does.filefor contracts missing it.kmcd.md, use this deployment logic forDEPLOY-PRELUDE.tests/fixes/{deploy,attack}Prelude.mcdwhich just test the post-state after running these preludes.