ccrewrite --version (return code: 0)
Error: No assembly given to rewrite
*** done ***
ccrewrite --help (return code: 0)
ccrewrite
Options:
--help Show this help.
--debug Use MDB or PDB debug information (default=true).
--level=VALUE Instrumentation level, 0 - 4 (default=4).
--writePDBFile Write MDB or PDB file (default=true).
--rewrite Rewrite the assembly (default=true).
--assembly=VALUE Assembly to rewrite.
--breakIntoDebugger, --break
Break into debugger on contract failure.
--throwOnFailure, --throw
Throw ContractException on contract failure.
--output, --out=VALUE Output filename of rewritten file.