issues
search
makerdao
/
mkr-mcd-spec
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28
stars
9
forks
source link
Emit solidity files for running with MKR testing harness
#192
Closed
ehildenb
closed
4 years ago
ehildenb
commented
4 years ago
Should wait for #191.
Adds an option
--emit-solidity-file
which lets you specify a file to emit the generated Solidity to instead of stdout.
For now always succeeds the Solidity tests until we reasonably believe it will reliably succeed on its own.
Should wait for #191.
--emit-solidity-file
which lets you specify a file to emit the generated Solidity to instead of stdout.