| -1680553489 | | This package presents a tool that converts defensive programming
into equivalent contracts. Currently, the tool is still at its infancy
and have not been tested on many code bases. The sample folder contains
some example files to get you started. So far I have exposed two functions
that allows you to input a path and either returns the raw result or load up
a GUI that allows you to change a file. This package needs license metadata | succeeds | 2 |