Skip to content

Instantly share code, notes, and snippets.

@mbrc12
mbrc12 / CmdSpec.md
Last active March 20, 2018 18:46
Specification of the command line tool for purity and nullability analysis

Specification of the command line tool for purity and nullability analysis

Throughout this document, a ! means that the said option is not implemented yet.

The following specificies the details of the command line interface exposed by the tool. Please note that this is subject to change:

The options:

The following options are planned as of yet: