9.2 Invoking dzn anonymize

The dzn anonymize command can be used to write an anonymized version of a Dezyne file to standard output.

dzn dzn-option… anonymize ihello.dzn

Apart from excluding Dezyne keywords, the anonymizer also excludes dzn-command specific flags and words, such as -m,--model and -t,--trail etc. So if you need to convey anonymized, model-specific information with the anonymized Dezyne code, you may do so by adding these as a comment:

// dzn verify -m hello
// dzn simulate -m hello --trail=h.hello,h.return

As the names of include files will also be anonymized, it is recommended to anonymize a preprocessed stream instead (Invoking dzn parse):

dzn parse -E hello.dzn | dzn anonymize - > anon.dzn

The options can be among the following:

--help

-h

Display help on invoking dzn anonymize, and then exit.