Answers the question "what is left to do in this model?". Generates a report (HTML?) that lists:
All values/slots not used (like in \validate)
Unreachable nodes (like in \validate)
[todo] nodes.
Report using markdown format. If the command gets a -f filename prints the report to file (add a ".md" suffix if not given). Otherwise, print to stdout.
Answers the question "what is left to do in this model?". Generates a report (HTML?) that lists:
\validate)\validate)[todo]nodes.Report using markdown format. If the command gets a
-f filenameprints the report to file (add a ".md" suffix if not given). Otherwise, print to stdout.